This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use.
Principles of the Spin Model Checker
📄 Viewing lite version
Full site ›
Book Details
Author(s)Mordechai Ben-Ari
PublisherSpringer
ISBN / ASIN1846287693
ISBN-139781846287695
AvailabilityUsually ships in 24 hours
Sales Rank2,149,820
CategoryPaperback
MarketplaceUnited States 🇺🇸
Description ▲
More Books in Paperback
Nightmare Hour TV Tie-in Edition
View
First Light
View
The Miles Between
View
Prize Stories 1990: The O. Henry Awards (Pen / O. Henr…
View
Democracy Begins Between Two
View
The Model Locomotive Engineer, Fireman, and Engine Boy
View
Bloodline in the Sand
View
Making America, Volume A, Brief, 2nd Ed + Perfect Unio…
View
Ellis, Becoming a Master Student, 11th Edition Plus My…
View