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
Trace Element Metabolism in Man and Animals
$119.00
Marfan-Syndrom
$24.99
Lifelong Learning in the Digital Age
$84.99
On Language
$84.99
Morphogenesis and Individuation
$84.99
Wings of Fire: The Hive Queen (#12) (Hardcover)
$14.99
Free Convection Film Flows and Heat Transfer
$169.99
Militrrztliche Kriegserinnerungen an 1866 und 1870/71
$59.99
Transnational Encounters between Germany and Korea
$139.99
Endosonography in Gastroenterology, Gynecology and Urology
$109.99
Microfloral and faunal interactions in natural and agro-ecosystems
$39.99
Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a
$109.99
Beginning Spring Boot 3
$59.99
Magisterium: The Golden Tower (Hardcover)
$13.49
Estrogen Mystery Drug for the Brain?
$109.99
Metastasis / Dissemination
$109.99
Ecological Quality Status of Marine Environment
$119.00
Fortschritte in der Kultur von Pfanzenzellen neue Zchtungsmethoden. Das physiologische Potential
$44.99
Kommunizieren in der Krise
$44.99
Apple IIc and IIe Assembly Language
$109.99
El ms grande, el ms fuerte, el ms rpido
$5.21
ANZUS in Crisis
$44.99
Digital Learning based Education
$69.99
How to Catch.: How to Catch a Yeti
$3.71
Innerbetriebliche Leistungsverrechnung im Krankenhaus
$29.99
Adolescents and Constitutional Law
$39.99
Pflegeeinrichtungen erfolgreich fhren
$29.99
Agent and Multi-Agent Systems: Technologies and Applications
$84.99
The Archaeology of Manila Galleons in the American Continent
$79.99
The Implementation of Legally Binding Measures to Strengthen the Biological and Toxin Weapons Conven
$169.00
The Route to Patient Safety in Robotic Surgery
$139.00
Management of Uncertainty Using Linguistic Z-Numbers
$199.99
Asymptotic Behaviour of Linearly Transformed Sums of Random Variables
$84.99
Advances in Biomedical Sensing, Measurements, Instrumentation and Systems
$129.00
Diagnostik der Kinderkrankheiten
$59.99
Discrete Control Systems
$109.99
Biotectonics
$54.99
Graphics Recognition. Recent Advances and Perspectives
$54.99
Doing Design Ethnography
$54.99
Rules and Reasoning
$39.99
