Copied Principles of the Spin Model Checker
Principles of the Spin Model Checker
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.
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 |
|
$54.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Identification of Dynamical Systems with Noise
$109.99
Zur Entscheidungsntzlichkeit von Zwischenberichten
$49.99
Ready-To-Go 100 Book Classroom Library: Nonfiction, Grade 3
$479.00
Positive Krmmung und Topologie
$59.99
Bilanzkennzahlen
$69.99
Polypropylene Structure, blends and composites
$219.99
Discovering Landscape in England & Wales
$54.99
Experiences with Distributed Systems
$39.99
Values, Relationships and Engagement in Quaker Education
$139.99
Modernist Fiction and News
$54.99
The Elbow
$54.99
Cybersecurity in Organisationen
$19.99
Aufgaben und Fortschritte des deutschen Werkzeugmaschinenbaues
$59.99
Current Trends in Semantic Web Technologies: Theory and Practice
$179.99
Prfungstrainer Elektrotechnik
$29.99
Heritage-Based Tools for the Sustainable Urban Development of Historic Centers
$54.99
Pflanzenphysiologie
$49.95
Computer Vision - ECCV 2008
$84.99
Recent Developments in Anisotropic Heterogeneous Shell Theory
$54.99
Nanoelectronic Coupled Problems Solutions
$99.99
Technology Application in Tourism in Asia
$199.99
Das konstitutionelle Verfassungswerk Preuens (18481918)
$89.00
Managing the Press
$54.99
Image Analysis Applications and Computer Graphics
$39.99
Elektrotherapie des Herzens
$59.99
Digitale Unternehmenskritiker
$49.99
Bringing the Jobless into Work?
$169.99
Activist Citizenship and the LGBT Movement in Serbia
$54.99
Tutorium Physik frs Nebenfach
$29.99
Aktuelle Diskurse in der Sozialwirtschaft V
$74.99
Synchronization
$109.99
Creating Green Citizens
$74.99
Research Trends in Graph Theory and Applications
$129.99
Programmed Cells from Basic Neuroscience to Therapy
$129.00
Politik und Technik
$69.99
Flexibilitt von personalintensiven Montagesystemen bei Serienfertigung
$69.99
Carbohydrates and Energy Metabolism
$84.99
Immunobiology of Bacterial CpG-DNA
$84.99
New Rules for Global Markets
$109.99
Digital Signal Processing in Power Electronics Control Circuits
$199.99
