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:
Buy Model Checking Software for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Malts and Malting
$299.99
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
$109.99
Dime Novels and the Roots of American Detective Fiction
$39.99
Cartilage: From Biology to Biofabrication
$249.99
Applications of High Energy Radiations
$179.99
Die Soziologischen Gedanken Kants im Zusammenhang seiner Philosophie
$49.99
Connected Health in Smart Cities
$84.99
Malaysian Politics in the New Media Age
$79.99
CRISPR-Cas Systems
$169.00
Computational Intelligence
$54.99
Embryonic Mortality in Farm Animals
$39.99
Moderne Behandlung der Euterentzndungen mit Besonderer Bercksichtigung des Gelben Galts
$54.99
Logic Programming and Nonmonotonic Reasoning
$39.99
Against Plagiarism
$59.99
Das Subjekt im und als Gedicht
$29.99
NeuroRadiosurgery: Case Review Atlas
$379.99
Portfolio Management with Heuristic Optimization
$84.99
Abstract State Machines - Theory and Applications
$39.99
Substorms-4
$329.99
LaTeX and Friends
$79.99
Corporate Finance for Long-Term Value
$59.99
Airfoil Design and Data
$74.99
Das Erbe der Ahnen
$54.99
The Sonar of Dolphins
$129.00
Multiple Choice Questions in Pain Management
$54.99
Faithful Victorian
$54.99
Organization Design
$169.99
Analysis of Neural Networks
$54.99
Unified Theoretical Foundations of Lift and Drag in Viscous and Compressible External Flows
$109.99
Verbnde und Gesetzgebung
$59.99
Comprehension Skills: 40 Short Passages for Close Reading: Grade 4
$8.24
Literary Studies Deconstructed
$59.99
Synthetic Data
$109.99
Vom Fachexperten zum Wissensunternehmer
$39.99
Breeding Oilseed Brassicas
$39.99
Interaktives Video im Internet mit Flash
$39.99
Northern Irish Poetry and the Russian Turn
$54.99
Technologiefrhaufklrung mit Data Mining
$84.99
Millimeter-Wave Networks
$169.99
Das Becken
$69.99
