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 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Reviews
Questions & Answers
Trinitarian Theology and Power Relations
$54.99
Geschichte der deutschen Hals-Nasen-Ohren-Kliniken im 20. Jahrhundert
$59.99
Consumer Law and Economics
$149.00
Mast Cells, Mediators and Disease
$39.99
Advances in Chemical Reaction Dynamics
$39.99
Practical Studies of Animal Development
$39.99
Supervised Learning with Python
$39.99
Bildungsfinanzierung in Deutschland
$39.99
Lactic Acid Bacteria: Genetics, Metabolism and Applications
$169.99
Where Jesus Slept
$4.46
Der Zahlungsverkehr in Deutschland
$59.99
Clinician's Guide to Severe Hoarding
$169.99
Mobilitt aus Kundensicht
$39.99
Artificial Intelligence in China
$129.00
Broadband in Europe
$109.99
ber katalytische Verursachung im biologischen Geschehen
$64.99
Business Innovation with New ICT in the Asia-Pacific: Case Studies
$139.99
China and India in Central Asia
$54.99
Discovering Theory in Clinical Practice
$119.99
Handbook of Risk Management in Energy Production and Trading
$249.99
Compulsory Education Policy in China
$139.99
The UK Banking System and its Regulatory and Supervisory Framework
$84.99
Organisationskommunikation in Krisen
$49.99
Birth of Solidarity
$44.99
Strategische Innovationen
$59.99
Advances in Myocardiology
$54.99
Language and the Market
$109.99
Making Buildings Safer for People During Hurricanes, Earthquakes and Fire
$169.99
Programming Languages and Systems
$54.99
Goldmark-Erffnungsbilanz und Technik der Goldmarkbuchfhrung
$59.99
Computer Vision ECCV 2024
$139.99
Feminism and International Relations
$55.00
Gas Turbines Structural Properties, Operation Principles and Design Features
$179.99
Unbirthday (Twisted Tale Series #10) by Liz Braswell
$17.99
Untersuchungen ber rationelle Arbeitsweisen bei Pre- und Bgelvorgngen in Chemisch-Reinigungsbetr
$59.99
The Biochemistry of Glycoproteins and Proteoglycans
$84.99
Mtter Die Geniefigur in der deutschsprachigen Literatur 1750 1950
$84.99
Science a Road to Wisdom
$39.99
Research in Attacks, Intrusions and Defenses
$54.99
Testing and Assessment of Interpreting
$119.00
