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
Language and Concept Acquisition from Infancy Through Childhood
$199.99
Systems Modeling
$199.99
Advanced Computing in Industrial Mathematics
$84.99
Functional Ultrastructure
$329.99
Quantum Mechanics for Pedestrians 2
$69.99
Lattices Applied to Coding for Reliable and Secure Communications
$64.99
Atlas of Lip and Nose Plastic and Cosmetic Surgery
$179.99
Groundwater of South Asia
$299.99
Objektives Verstehen
$39.99
Untersuchung digital-pneumatisch ansteuerbarer Linear-Feinpositioniersysteme
$59.99
Ultraschallprfung
$59.99
Requirements Engineering: Foundation for Software Quality
$39.99
Maintenance Overtime Policies in Reliability Theory
$84.99
Ebbe und Flut
$69.99
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
$39.99
Asteroseismology Across the HR Diagram
$169.99
Socionics
$54.99
Statistical Complexity
$109.99
Complex Analytic Desingularization
$159.99
Diagnostik und Therapie sexuell bertragbarer Krankheiten
$59.99
Photodisintegration of the Deuteron
$109.99
The Antarctic Silverfish: a Keystone Species in a Changing Ecosystem
$109.99
Der islamische Religionsunterricht zwischen Integration und Parallelgesellschaft
$49.99
Die Hofmeister
$59.99
Entscheidungen im Marketing
$59.99
Daily Word Ladders: Grades 1-2
$14.99
The Moral Philosophy of George Berkeley
$109.99
Gesammelte Abhandlungen - Collected Papers III
$199.99
Schriftsteller in der Massengesellschaft
$39.99
Gruppenanalyse
$79.99
Smart Technologies for Smart Cities
$139.99
Vergtung mittels Bonusbanken
$49.99
Perturbation Techniques for Flexible Manipulators
$129.00
Basic Concepts on 3D Cell Culture
$89.99
Metallogenic models and exploration criteria for buried carbonate-hosted ore depositsa multidiscipl
$54.99
Advancements in Forensic DNA Analysis
$89.00
LISS 2020
$219.99
Old and New Aspects in Spectral Geometry
$109.99
Tumor Cell Metabolism
$84.99
The Finnish Language in the Digital Age
$54.99
