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
The Origin of Life and Evolutionary Biochemistry
$84.99
Dickens at Play
$14.99
Nierentransplantation
$59.99
Processes and Foundations for Virtual Organizations
$84.99
Conrad Ferdinand Meyer
$29.99
Big Data Computing and Communications
$54.99
Diagnostic Systems For Energy Equipments
$109.99
Vereinfachte Fliezonentheorie
$44.99
Evolutionary Biology: Mechanisms and Trends
$169.99
The Gender Factory
$39.99
Untersuchungen ber den Einflu unterschiedlicher Verfahren der Oberflchenbehandlung auf das Versch
$59.99
Grundzge des Informationsmanagements
$39.99
Community Resilience und ethnische Diversitt
$64.99
Measurement and Understanding in Science and Humanities
$159.99
A Guide to Institutional Property Investment
$69.99
Domagk 1937-1951
$49.99
The Mexican Crack Writers
$109.99
Current Issues in Clinical Psychology
$54.99
Politische Mitte und Rechtsextremismus
$59.99
Ventilation Systems in living Areas
$37.99
The Construction of Ecological Civilization in China
$179.99
Advances in Swarm Intelligence
$109.99
Neodymium Isotope Geochemistry
$84.99
Recent Progress in Coupled Cluster Methods
$259.00
Wilhelm Wundt in History
$169.99
Codeless Data Structures and Algorithms
$44.99
The Biotech Business Handbook
$249.99
New Zealand Freshwater Fishes
$169.00
Modernes Kostenmanagement
$49.99
Molecular Soft-Interface Science
$109.99
Wirklichkeitsblinde in Wissenschaft und Technik
$44.99
The 2x2 Matrix
$69.99
Information Systems Theory
$249.99
Gestaltung von Funktionskostenrechnungen
$59.99
Introduction to Probability, Statistics & R
$69.99
Biological Degradation and Bioremediation of Toxic Chemicals
$219.99
Multidimensional HPLC of Polymers
$109.99
Advanced Structural Dynamics and Active Control of Structures
$189.00
The Human Mystery
$54.99
OSPF: A Network Routing Protocol
$34.99
