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
Mobile Agents
$39.99
European Employment Models in Flux
$109.99
Subsea Pipeline Systems
$32.99
Dynamics of the Equatorial Ocean
$249.99
Modular Chemistry
$54.99
Komplikationsmanagement in der Chirurgie
$179.99
Modelling and Implementation of Complex Systems
$169.99
Modern Irish Autobiography
$54.99
Controlling fr Electronic-Business-Geschftsmodelle
$89.99
Machine Learning in Modeling and Simulation
$199.99
Advances in Agile and User-Centred Software Engineering
$54.99
Berechnung von Baukonstruktionen
$17.99
Einfhrung in die Algebra II
$29.99
Eine numerische Untersuchung von Bang-Bang-Steuerungsproblemen
$39.99
Pharmakologie des Herzversagens
$59.99
The Way Home Looks Now
$5.99
Self-Awareness & Causal Attribution
$109.99
Gene Targeting Protocols
$129.00
Landwirtschaftliche Akkumulationslasten und industrielle Entwicklung
$69.99
Unternehmen verstehen, gestalten, verndern
$79.99
Legends of the Clans Warriors Series by Erin Hunter
$9.99
Bltter fr Technikgeschichte
$59.99
Valvular Heart Disease in Clinical Practice
$44.99
Sozialpsychiatrie und Kunsttherapie
$59.99
Women's Work and Politics in WWI America
$49.99
Concurrent Crash-Prone Shared Memory Systems
$64.99
Iron-Catalyzed Synthesis of Fused Aromatic Compounds via CH Bond Activation
$84.99
Gouvernementalitt und Erziehungswissenschaft
$49.99
Code Generation Concepts, Tools, Techniques
$54.99
Cloud Computing Basics
$32.99
Impact of Genetic Targets on Cancer Therapy
$219.99
Fullerenes: From Synthesis to Optoelectronic Properties
$169.99
Pro PowerShell Desired State Configuration
$99.99
Neural Nets WIRN VIETRI-97
$109.99
Process Modelling
$84.99
Measurements, Numerals and Scales
$169.99
TP-Model Transformation-Based-Control Design Frameworks
$54.99
Patch-Clamp-Technik
$44.99
Style and Form in the Hollywood Slasher Film
$39.99
Legal Interpretation and Scientific Knowledge
$139.99
