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
Microcantilevers for Atomic Force Microscope Data Storage
$84.99
"Alles ist nach seiner Art"
$74.99
Multimedia Cloud Computing Systems
$169.99
Hazards to Drinking Water Supplies
$39.99
Der Nationalkrieg gegen Frankreich in den Jahren 1870 und 1871
$59.99
Numerische Nherungsverfahren fr elliptische Randwertprobleme
$34.99
Sustainable Rail Transport 5
$149.00
Managing Cardiovascular Risk In Elective Total Joint Arthroplasty
$109.99
Grundzge der Starkstromtechnik
$59.99
Advanced Parallel Processing Technologies
$39.99
Wasserkraftausnutzung und Wasserkraftmaschinen
$59.99
National Geographic Kids Readers: Hoot, Owl!
$3.71
Aerodynamik axialer Turbokompressoren
$109.00
Energie- und geopolitische Akteure im Sdkaukasus
$59.99
Political Deference in a Democratic Age
$109.00
A Broadband Apparatus for Underserviced Remote Communities
$109.99
Resource Allocation in Network Function Virtualization
$109.99
Strungsmanagement in netzwerkfrmigen Produktionssystemen
$69.99
A Perspective on Canonical Riemannian Metrics
$129.99
High Performance Architecture and Grid Computing
$109.99
Innerbetriebliche Standortplanung bei einfacher und mehrfacher Zielsetzung
$74.99
Machining of Titanium Alloys
$109.99
Her Body and Other Parties by Carmen Maria Machado
$17.00
Osteuropa auf dem Weg zur Marktwirtschaft
$69.99
Cognitive Behavioural Systems
$39.99
Die Rntgendiagnostik der Wirbelsule und Ihre Grundlagen
$59.99
Computational Methods in Engineering
$129.99
Biobehavioral Approaches to Pain
$109.99
Domain-Specific Languages in Practice
$169.00
Gain-Cell Embedded DRAMs for Low-Power VLSI Systems-on-Chip
$84.99
Sustainable Agriculture Reviews 37
$169.99
Wissensbasierte Verhandlungsautomatisierung auf elektronischen Echtzeit-Mrkten
$74.99
Structural Funds: Growth, Employment and the Environment
$84.99
Early Romantic Era
$44.99
Medical Informatics and Bioimaging Using Artificial Intelligence
$199.99
Die Grenzen der Schrift. Der Kern der Rechtschreibreform
$59.99
Vocabulary Learning in the Wild
$159.99
The Influence of Polymer Additives on Velocity and Temperature Fields
$109.99
The Role of Tariff Quotas in Commercial Policy
$19.99
Dictionary of Biotechnology
$74.99
