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 |
|
$49.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
A Critical Appraisal of Karl Olivecrona's Legal Philosophy
$109.99
Rough Sets
$84.99
Varicen - Ulcus Cruris und Thrombose
$54.99
Astronomy of the Inca Empire
$129.00
Stitch Crashes Disney T-Shirt for Adults Jungle Book Customized
$26.95
Untersuchung symmetrischer Hochfrequenzleitungen
$59.99
Dynamic Tectonics and Karst
$109.99
Optimization and Optimal Control in Automotive Systems
$109.99
Wahrhaftigkeit - eine gesellschaftliche Herausforderung
$19.99
Fit for Business
$54.99
Negotiating Masculinity and Identity as a Jewish British Male
$139.99
Transactions on Engineering Technologies
$169.00
Technology-Driven Business Innovation
$189.00
British Archives
$109.99
Design, Fabrication and Testing of Aeroengine Ceramic-Matrix Composite Components
$159.99
Marine Fish Culture
$449.99
Selected Cases from the Supreme Peoples Court of the Peoples Republic of China
$199.99
Logistik
$44.99
Higgs Potential and Naturalness After the Higgs Discovery
$109.99
Perspectives in Business Informatics Research
$54.99
Regional Nerve Blocks in Anesthesia and Pain Therapy
$189.00
Die Schlammbehandlung in stdtischen Klranlagen unter besonderer Bercksichtigung der Schlammvergas
$49.99
The Impact of Minority Rights Mechanisms
$54.99
Betriebswirtschaftliche Anwendungen mit SAP R/3
$99.99
Dimensionen therapeutischer Prozesse in der Integrativen Medizin
$34.99
Festigkeit und Formnderung
$54.99
Ludwig van Beethoven (Revised Edition) (Getting to Know the World's Greatest Composers)
$5.96
Selection of Main Mechanical Ventilators for Underground Coal Mines
$54.99
Shape from Positional-Contrast
$39.99
Making Communism Hermeneutical
$84.99
Charles Taylors Ecological Conversations
$109.99
Ready-To-Go 100 Book Classroom Library: Nonfiction, Kindergarten
$439.00
Psychoonkologie
$69.99
Survivable Restructuring of Vegetable Distribution and Wholesale Markets in Western China
$39.99
The New Politics of Numbers
$59.99
New Horizons in Web Based Learning
$54.99
Jean Leray 99 Conference Proceedings
$54.99
The Hidden CurriculumFaculty-Made Tests in Science
$54.99
City and Modernity in Georg Simmel and Walter Benjamin
$129.99
Models in Cooperative Game Theory
$84.99
