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
Granite: From Segregation of Melt to Emplacement Fabrics
$169.99
The Palgrave Handbook of Music in Comedy Cinema
$279.99
Simulating Combustion
$169.99
Protection Against Ischemia/Reperfusion Damage of the Heart
$39.99
Beziehungen zwischen geometrischer und algebraischer Anordnung
$59.99
Risikomanagement von Anlagenprojekten
$49.99
African Philosophy
$169.00
Quantum Information Processing with Finite Resources
$79.99
Internet of Things, Smart Spaces, and Next Generation Networking
$54.99
Techno-Esoterik in der skularisierten Moderne
$49.99
Laboratory Experiments in Physics for Modern Astronomy
$84.99
Integrated Computer-Aided Design in Automotive Development
$89.00
Entwicklungen und Entwicklungstendenzen in der Kreditsicherung
$59.99
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks
$59.99
Public Key Cryptography
$54.99
Aktive Filter und Oszillatoren
$99.99
Subjective Well-Being in the Indian Context
$39.99
Eventrecht kompakt
$39.95
Literarische Interessenbildung im Mittelalter
$109.00
Ostracodology - Linking Bio- and Geosciences
$219.99
Investment Trust Year Book & Who's Who 1985
$99.00
Little Critter: I Am Sharing
$3.71
Evolutionary Computation Techniques: A Comparative Perspective
$109.99
Nikesphoros und der Bilderstreit
$54.99
Babies on the Move Collection
$62.50
FDP Partei der zweiten Wahl
$69.95
Horizons in Bioprocess Engineering
$109.99
Social Policy and the Body
$109.99
The Bone Book
$84.99
Zika Virus Infection
$54.99
Self-Study of Practice as a Genre of Qualitative Research
$169.99
From Riemann to Differential Geometry and Relativity
$149.00
Biodiesel
$169.99
Fundamentals of Analysis with Applications
$54.99
Spatial Justice and Planning
$119.99
Wireless Mobile Communication and Healthcare
$89.99
Distortion Analysis of Analog Integrated Circuits
$379.99
Computational Discrete Mathematics
$39.99
New Approaches in Intelligent Image Analysis
$109.99
Calcium in Internal Medicine
$39.99
