Copied Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.
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
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Making Sustainability Measurable
$24.99
SOFSEM 2014: Theory and Practice of Computer Science
$54.99
The Weapons of Terror
$14.99
Innovation und Wettbewerbsfhigkeit
$69.99
Die Bundesrepublik Deutschland
$54.99
Robust and Nonlinear Time Series Analysis
$109.99
Living Otherwise
$49.99
Wirkung von Social Media auf Marken
$64.99
Potash Use and Dynamics in Agriculture
$159.99
Quantum Dots
$84.99
Proceedings of the 2023 International Conference on Green Building, Civil Engineering and Smart City
$379.99
Kostenschtzung im chemischen Anlagenbau
$17.99
Beschaffungsplanung und Budgetierung
$59.99
100 Bike Rides of a Lifetime The World's Ultimate Cycling Experiences Book National Geographic Official shopDisney
$35.00
Rektumchirurgie
$64.99
Theoretical and Applied Statistics
$109.99
Introduction to Piecewise-Linear Topology
$89.00
Physics of Highly Charged Ions
$39.99
Multimedia Tools and Applications for Environmental & Biodiversity Informatics
$84.99
Monoclonal Antibody Protocols
$84.99
Methods in Soil Biology
$99.00
Nonlinear Waves and Solitons on Contours and Closed Surfaces
$84.99
Advanced Sensing and Robotics Technologies in Smart Agriculture
$179.99
Der beziehungsfhige Mensch
$19.99
Elite Populism and Malay Political Leaders in Malaysia
$139.99
Natural Killer Cell Protocols
$149.00
Experiencing the Postmetaphysical Self
$54.99
Rethinking Knife Crime
$49.99
Translation and Technology
$109.99
Mit Vollgas zum Doktor
$34.99
Marginal Donors
$109.99
Antibodies for Treating Cancer
$59.99
The Role of VLBI in Astrophysics, Astrometry and Geodesy
$109.99
Intercultural Voices in Contemporary British Literature
$54.99
The Security of Water, Food, Energy and Liveability of Cities
$169.99
Frequency References, Power Management for SoC, and Smart Wireless Interfaces
$169.99
Wie ein lebendiges Stadtviertel entsteht
$34.99
Sustainable Rural and Urban Ecosystems: Design, Implementation and Operation
$84.99
Global Mindset and Cross-Cultural Behavior
$129.99
Jenseits des rationalen Handelns
$34.99
