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
Authorial Stance in Research Articles
$54.99
Fluid Mechanics and the Environment: Dynamical Approaches
$84.99
Cash flow und Working capital
$69.99
Econometrics of Green Energy Handbook
$249.99
Is it Safe to Eat?
$34.99
To Shake the Sleeping Self - A Journey from Oregon to Patagonia, and a Quest for a Life with No Regret by Jedidiah Jenkins
$18.00
Novel Aspects of Diamond II
$139.99
Enzymatic Transformation
$169.99
Interactive Staff Training
$109.99
My Books Every Day Challenges & Solutions Grade 2-Classroom Set
$636.95
Erfahrung und Kategoriales Denken
$139.00
Untersuchung und Nachweis Organischer Farbstoffe auf Spektroskopischem Wege
$59.99
Die Genetische Sprechstunde
$17.99
An Introduction to Food Grade Nanoemulsions
$109.99
E-Health-konomie
$89.99
Random Matrices and Iterated Random Functions
$109.99
The Handbook of Global Shadow Banking, Volume II
$99.99
Selected Papers
$84.99
Sekundrer Feinstaub
$17.99
Atlas of Contrast-Enhanced Mammography
$249.99
Einleitung in die Philosophie
$309.00
Exploring Literacies
$109.99
Modeling Biomolecular Networks in Cells
$109.99
kologische Quartierserneuerung
$59.99
Albert Einstein
$69.99
Frderung von diagnostischen Kompetenzen
$59.99
Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems
$54.99
Exchange Rates and International Financial Economics
$84.99
Viagra im Alltag
$64.99
Discrimination Based on Sexual Orientation
$129.99
Multicomponent Flow Modeling
$249.99
Grundkurs Theoretische Physik 7 Viel-Teilchen-Theorie
$54.99
Spontaneous Abortion
$39.99
Entwicklung und Bau eines vollautomatischen Faserlngenprfgertes (Stapelprfgert) auf kapazitiver
$54.99
Wirtschaftsmacht Organisierte Kriminalitt
$29.99
Liquordiagnostik
$29.99
Aeronomics and Law
$109.99
Mathematics of Surfaces
$54.99
Politics in China
$54.99
Governance Models for Latin American Universities in the 21st Century
$109.00
