Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Principles of the Spin Model Checker
Best Price (Coupon Required):
Buy Principles of the Spin Model Checker for $49.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
Principles of Spin is an introductory book, 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. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism. Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.
Reviews
Questions & Answers
Financial Systems, Markets and Institutional Changes
$54.99
Digital Labour, Society and the Politics of Sensibilities
$54.99
Quaternions, Clifford Algebras and Relativistic Physics
$64.99
Systemtheorien in der Supervision
$74.99
Systemsimulation zur verbesserten Auslegung von Benzin-Direkteinspritzungssystemen
$64.99
Community Prevention of Alcohol Problems
$29.99
Ion-Molecule Reactions
$39.99
Water Resources Management and Water Pollution Control
$219.99
Geschichte des chinesischen Films
$49.99
Proteoglycan Protocols
$129.00
Vestibularfunktion
$79.99
Machine Learning for Computer Scientists and Data Analysts
$119.99
At the Edge of the Solar System
$32.99
Fiscal Policy, Public Debt and the Term Structure of Interest Rates
$54.99
Pathways Between Social Science and Computational Social Science
$99.99
Software Process Improvement
$54.99
Der Aufsichtsrat als Intermedir
$44.99
Electrostatic Effects in Soft Matter and Biophysics
$219.99
Psychoanalytische Entwicklungspsychologie, Neurosenlehre, Psychotherapie
$54.99
Malliavin Calculus for Lvy Processes with Applications to Finance
$84.99
Intermittierendes deterministisches Chaos als mgliche Erklrung fr ein langes Gedchtnis in Finanz
$59.99
Philosophy of Film Without Theory
$159.99
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory
$89.00
Practical Tips in Aortic Surgery
$39.99
Das Eigene und das Fremde
$49.99
The Death of the Hat
$7.46
Sustainable Infrastructure Development
$249.99
Weimar - Archologie eines Ortes
$49.99
Die konstruktiven Grundlagen des Wrme- und Klteschutzes im Wohn- und Industriebau
$74.99
P.W. Joyce and the Educational Shaping of the Emerging Irish Nation, 1827-1914
$169.99
Learn Blackberry Games Development
$49.99
Direkte Demokratie und Umweltpolitik
$64.99
Host Defenses and Immunomodulation to Intracellular Pathogens
$84.99
Logic, Language, Information, and Computation
$54.99
Geschlecht und Mikropolitik
$59.99
Underwater Medicine and Related Sciences
$84.99
Proceedings of the 10th International Conference on Rotor Dynamics IFToMM
$219.99
Global Analysis of Dynamic Models in Economics and Finance
$84.99
Jahrbuch der Preutzischen Forst- und Jagdgesetzgebung und Verwaltung
$44.99
The Object of Comedy
$139.99
