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
Digital Watermarking
$54.99
Elektrische berfhrung und Strukturuntersuchungen in Salzschmelzen
$59.99
Tissue-Specific Stem Cell Niche
$169.99
Passive Components for Dense Optical Integration
$84.99
Heidnische Philosophen und Schriftsteller in der alten bulgarischen Wandmalerei
$54.99
Microcirculation
$109.99
Job Scheduling Strategies for Parallel Processing
$49.99
The Changing Nature of the Graduate Labour Market
$54.99
Social Learning and Innovation in Contemporary Hunter-Gatherers
$139.99
The Chemistry of Zirconacycles and 2,6-Diazasemibullvalenes
$109.99
Elite Statecraft and Election Administration
$54.99
Location Based Services and TeleCartography
$219.99
Die Lungenphthise
$59.99
The Real Oil Shock
$109.99
Kriminalittsdarstellung im Fernsehen und kriminelle Wirklichkeit
$59.99
Muslim Women and Power
$29.99
Asymmetric Top Molecules, Part 1
$549.99
Group-Theoretic Algorithms and Graph Isomorphism
$19.99
Geometric and Analytic Number Theory
$109.99
The Molecular Immunology of Complex Carbohydrates 2
$219.99
Special and General Relativity
$54.99
Worldwide Advances in Communication Networks
$109.99
CADdy Architektur
$69.95
Designs 2002
$54.99
Investigations into the Origin of Language and Consciousness
$109.99
Interoperability of Heterogeneous IoT Platforms
$84.99
European Philosophy of Science - Philosophy of Science in Europe and the Viennese Heritage
$84.99
Quantum Information
$74.99
Journey to the Bound States
$69.99
Public Health Informatics and Information Systems
$49.99
A Search for Ultra-High Energy Neutrinos and Cosmic-Rays with ANITA-2
$84.99
Fouriertransformation fr Fugnger
$37.99
Immunohistochemistry in Tumor Diagnostics
$159.99
Neustart des LHC: neue Physik
$17.99
Die Luftvorwrmung im Dampfkesselbetrieb
$49.99
Pediatric Bone Marrow
$279.99
Workshop Calculus with Graphing Calculators
$49.99
The Regulation of Hedge Funds
$119.00
Klinik und Forschung in der Chirurgie unter dem Aspekt von Effizienz und konomie
$54.99
Nephrology
$109.99
