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
Epoxy Resins and Composites II
$84.99
Socio-biological Implications of Confucianism
$84.99
Goals and Economic Instruments for the Achievement of Global Warming Mitigation in Europe
$84.99
Holidays are Better with Friends (Hardcover)
$13.49
Iraqs Last Jews
$29.99
The External Fixator
$54.99
Semantic Mechanisms of Humor
$219.99
Advances in Sustainable Construction and Resource Management
$169.99
A New-Generation Density Functional
$54.99
Nietzsche's Gay Science
$109.99
Professional Service Firms and Politics in a Global Era
$129.00
Die Praxis des Zwei-Sulen-Modells
$59.99
Pathology of Female Cancers
$89.00
Grundlagentexte zur sozialwissenschaftlichen Medienkritik
$79.99
Retention of Bioactives in Food Processing
$279.99
Applications of Group-Theoretical Methods in Hydrodynamics
$219.99
Diagnosis of Heart Disease
$84.99
Dienstleistungsmarketing
$59.99
Promoting Service Leadership Qualities in University Students
$54.99
Switching Theory for Logic Synthesis
$129.00
Software Analysis, Testing, and Evolution
$54.99
Animal Cell Biotechnology
$199.99
The Concept of Scientific Law in the Philosophy of Science and Epistemology
$109.99
Analyzing Non-Textual Content Elements to Detect Academic Plagiarism
$109.99
Auftragsleittechnik fr Konstruktion und Arbeitsplanung
$59.99
Operationsberichte Allgemein-, Viszeral- , Gef- und Thoraxchirurgie
$84.99
Physics and Materials Science of High Temperature Superconductors, IV
$219.99
Challenges for European Management in a Global Context
$84.99
Berichte zur Lebensmittelsicherheit 2010
$39.99
Industrial Robot Handbook
$129.00
UK Parallel 96
$54.99
Mrkte und common ground: Arbeit, gesundheitliche Versorgung, Finanzen
$74.99
The Bront Sisters in Other Wor(l)ds
$54.99
Nicht jeder Auftrag bringt Gewinn
$59.99
Electrical and Magnetic Methods of Non-destructive Testing
$169.00
Ethics and Sustainability in Accounting and Finance, Volume II
$159.99
Hydrocarbon and Lipid Microbiology Protocols
$109.99
Achtzehnjhrige zwischen Reaktion und Rebellion
$59.99
Imaging Plasma Density Structures in the Soft X-Rays Generated by Solar Wind Charge Exchange with Ne
$54.99
Lipid Metabolism in the Healthy and Disease Heart
$169.99
