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
Modern Watercolor
$16.04
Turning Silicon into Gold
$29.99
Die Dynamik von Konsumgtermrkten
$59.99
L.I. Mandelstam and His School in Physics
$129.00
Functional Tissue Engineering
$129.00
The Politics of Economic Reform in Zimbabwe
$39.99
Parabolic Boundary Value Problems
$79.99
State Government Budget Stabilization
$109.99
Creating New Learning Experiences on a Global Scale
$39.99
Ungarn im neuen Europa
$69.99
Psychotherapie in der Medizin
$59.99
Introduction to Artificial Intelligence
$84.99
Saving Wonder
$5.96
Stationary Processes and Discrete Parameter Markov Processes
$54.99
Lesbianism and the Criminal Law
$119.99
Posthumanism and Phenomenology
$159.99
Positive Psychotherapy
$109.99
Principles of Image Printing Technology
$169.99
Gesellschaftliche Konstruktion von Minderheiten
$59.99
Sustainable Finance, Digitalization and the Role of Technology
$329.99
Pseudo-Complex General Relativity
$99.99
The Trump Presidency
$129.99
An Introduction to Fuzzy Control
$109.99
Hong Kong English
$54.99
C3 Framework for Social Studies Collection Grade K
$235.00
Stochastic Processes in Quantum Physics
$169.99
The Climacteric in Perspective
$39.99
Nail Psoriasis
$109.99
Veinte bostezos
$5.21
Computational Science ICCS 2024
$74.99
Functional Foods and Therapeutic Strategies for Neurodegenerative Disorders
$249.99
A Critical Companion to Zoosemiotics:
$129.00
Laparoscopic Surgery of the Abdomen
$169.00
The International Society Tradition
$159.99
Mtter Die Geniefigur in der deutschsprachigen Literatur 1750 1950
$84.99
Optimale Stufenrdergetriebe fr Werkzeugmaschinen
$44.99
Endoscopic Surgery in Children
$84.99
Individuelle und kulturelle Altersbilder
$39.95
Inherited Cancer Syndromes
$74.99
Nervensystem
$59.99
