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
Genomic Imprinting
$84.99
The Biology of Idiotypes
$39.99
Pulmonary Hypertension
$179.99
Beratung von Migrantinnen und Migranten: Herausforderungen, Untersttzungsbedarfe, kulturelle Begegn
$14.99
Theoretical Foundations of Behavior Therapy
$169.99
Eine Frage der Zeit? Zur Integration von Frauen in die Wissenschaft
$59.99
Materials Metrology and Standards for Structural Performance
$169.00
Finite Difference Methods,Theory and Applications
$54.99
Metal Forming Processes
$69.99
Future Optical Access Network
$219.99
Function Spaces, Differential Operators and Nonlinear Analysis
$49.99
Pediatric Ophthalmology, Neuro-Ophthalmology, Genetics
$109.00
Die CSU
$49.99
Parenting Across Cultures
$139.00
Solid-Phase Synthesis of Nitrogenous Heterocycles
$219.99
Sexuallockstoffe im Pflanzenreich
$59.99
Theory and Practice of High Resolution Seismic HRS-Geo Technology Application
$129.00
Biological Control of Insect Pests Using Egg Parasitoids
$129.00
Entwicklung eines Reifegradmodells zur nachhaltigen Produktkostensenkung
$69.99
Structural Analysis of Printed Circuit Board Systems
$129.00
Cohomology Theory of Topological Transformation Groups
$39.99
Management strategischer Kooperationen zwischen Hersteller und Handel
$79.99
Mechanics and Physics of Fracture
$169.99
The Philosophy of Edmund Husserl
$84.99
Neurological Disorders in Clinical Practice
$59.99
Physikalische Grundlagen der Energietechnik
$84.99
Peek-A-Boo Art: Love
$7.49
Question-orientedness and the Semantics of Clausal Complementation
$99.00
Computer and Information Science 2021 - Fall
$169.99
Violence without Guilt
$54.99
Digitalisierung von Gesundheitsleistungen fr Senior:innen
$39.99
Parteien, Parteieliten und Mitglieder in einer Grostadt
$59.99
Systemisches Fragen
$17.99
Controlling in der Praxis
$49.99
Social Group Utility Maximization
$54.99
Our International Education
$39.99
Mobility Data Management and Exploration
$39.99
Plant and Human Health, Volume 3
$169.99
Funkschaltungen
$59.99
Acoustics and Vibration of Mechanical StructuresAVMS-2023
$199.99
