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
Model Checking Software
Best Price (Coupon Required):
Buy Model Checking Software for $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.
Reviews
Questions & Answers
Computational Intelligence Techniques in Earth and Environmental Sciences
$109.99
Who's Afraid of John Maynard Keynes?
$29.99
Next Generation Sequencing in Cancer Research, Volume 2
$199.99
Antiquity Forgot
$84.99
Daten-Karrieren und epistemische Materialitt
$39.99
Syntax-based Statistical Machine Translation
$54.99
Beschftigungspolitik fr Frauen in der Region
$59.99
Understanding the Impact of INSET on Teacher Change in China
$54.99
Psychologische Sicherheit in Unternehmen
$17.99
Quantum String Theory
$109.99
Datenstrukturen und Datenbanken
$69.99
Applications of Emerging Memory Technology
$84.99
Machine Learning Foundations
$129.00
Psychology and Education
$39.99
Pig the Pug
$4.46
FST TCS 2000: Foundations of Software Technology and Theoretical Science
$39.99
Collaborative Mathematics and Statistics Research
$109.99
Optimization-based Molecular Dynamics Studies of SARS-CoV-2 Molecular Structures
$149.00
The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life by Mark Manson
$26.99
Molecular and Cellular Biology of Phagocytosis
$169.99
Historical Theory and Methods through Popular Music, 19702000
$159.99
The Search for ExtraTerrestrial Intelligence
$169.99
Psychological Requirements Analysis in Theory and Practice
$17.99
The Secret Rose, Stories by W. B. Yeats: A Variorum Edition
$219.99
Financial Markets and Corporate Reporting under Geopolitical Risks
$189.00
Data Classification and Incremental Clustering in Data Mining and Machine Learning
$119.99
Static Analysis
$39.99
Software-Management 97
$59.99
Learn Objective-C for Java Developers
$39.99
United Nations Disarmament Processes in Intra-State Conflict
$84.99
Complexity, Heterogeneity, and the Methods of Statistical Physics in Economics
$129.99
Principles of Polymer Composites
$54.99
International Conference on Innovative Computing and Communications
$189.00
Skyjacked (Hardcover)
$13.49
Bankenspezifische Grundstze ordnungsmiger Buchfhrung
$69.99
Geschftsfhrer im Konzern
$44.99
Working with Transgender Young People and their Families
$29.99
Biogeochemistry of Global Change
$169.00
Storytelling im Vertrieb
$29.99
New Directions in Atomic Physics
$219.99
