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
Conflicts in Curriculum Theory
$37.99
Projektorganisation und Management im Software Engineering
$54.99
Wohnungssanierung als wirtschaftspolitisches Problem
$59.99
System Analysis and Modeling: Theory and Practice
$72.00
I Can Build It!
$17.99
Markenorientiertes Human-Resource-Management als Instrument der Internen Markenfhrung
$59.99
Homeostasis, Nephrotoxicity, and Renal Anomalies in the Newborn
$109.99
The Treatment of Hypertension
$39.99
Wireless Sensor Networks
$89.99
Digital Turn in SchoolsResearch, Policy, Practice
$109.99
Ab 40 bewirbt man sich anders. Durchstarten mit Lebenserfahrung - Bewerbungsstrategien, Informatione
$19.99
Infografiken
$54.99
Scholar Zone Summer ELA and Math Grade 6 (2 Scholar)
$230.00
Arbeitszufriedenheit
$69.99
The Mesentery and Inflammation
$159.99
Prozessorientierte Ergebnissteuerung in reifen Industrien und Produktionsnetzwerken
$59.99
Alterations of Excitation-Contraction Coupling in the Failing Human Heart
$39.99
Taming HAL
$54.99
Fundamentals of Artificial Intelligence
$64.99
Quantitative Risk Assessment
$109.99
Bleomycin: Chemical, Biochemical, and Biological Aspects
$39.99
Financial Cryptography and Data Security
$39.99
Chemisch-technische Untersuchungsmethoden
$49.99
The Career Programmer
$49.99
Arbeitsbuch Der Jahresabschlu
$44.99
Finanzierung technologieorientierter Unternehmensgrndungen
$69.99
Truth to Post-Truth in American Detective Fiction
$119.99
Intelligent Computer Mathematics
$54.99
Oscillation and Stability of Delay Models in Biology
$109.99
Sustainable Health in Low and Middle Income Countries
$99.00
Simulation for Policy Inquiry
$109.99
Advanced Microsystems for Automotive Applications 2011
$169.00
The Impact of Artificial Intelligence on Governance, Economics and Finance, Volume 2
$149.00
Radioisotope Thin-Film Powered Microsystems
$109.99
Systemwechsel 1
$59.99
Plant Physiology, Development and Metabolism
$99.99
Dental Informatics
$84.99
Reports on Astronomy
$169.00
Medical Image Computing and Computer Assisted Intervention MICCAI 2020
$84.99
Operator Theorems with Applications to Distributive Problems and Equilibrium Models
$54.99
