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
Maternal Influences and Early Behavior
$54.99
Das neue Reisekostenrecht
$59.99
Knstliche Intelligenz fr Sales, Marketing und Service
$39.99
Flow Lines and Algebraic Invariants in Contact Form Geometry
$39.99
Encounters with HCI Pioneers
$59.99
Prolog
$64.99
Key Topics in Management of the Critically Ill
$109.99
Proceedings of the 19th Asian Workshop on Polymer Processing (AWPP 2022)
$249.99
Genetics of Forest Ecosystems
$84.99
Principles of Bacterial Detection: Biosensors, Recognition Receptors and Microsystems
$249.99
The Legend of Jonah
$54.99
Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques
$39.99
Drosophila
$139.00
Advanced Concepts for Intelligent Vision Systems
$84.99
Literature 1980, Part 2
$54.99
Internationaler Markteintritt von kleinen und mittleren Unternehmen in China
$69.99
Forming the Mind
$129.00
Citizenship and Social Policy
$64.99
Pattern Recognition and Computer Vision
$79.99
Produktindividualisierung
$59.99
Die Entwickelung der Schiffsmaschine in den letzten Jahrzehnten
$54.99
B
$69.99
Advances in Probabilistic and Other Parsing Technologies
$109.99
Power in Contemporary Japan
$139.00
The Dream of a Democratic Culture
$89.00
Evaporation into the Atmosphere
$219.99
Die Trkei im Spannungsfeld von Kollektivismus und Diversitt
$39.99
REWAS 2013
$109.99
Advances in Modeling and Interpretation in Near Surface Geophysics
$69.99
Econophysics of Markets and Business Networks
$54.99
Unternehmensweite Datenintegration
$44.99
Teaching Creative Writing
$54.99
Energy Efficient Building Design
$139.99
Zentrale Steuerung der Sexualfunktionen
$59.99
Der Mensch in der industriellen Fertigung
$59.99
Handbook of Family Resilience
$389.00
Empathy, Embodiment, and the Person
$119.99
New Modes of Governance in Europe
$39.99
Handbuch Freizeitsoziologie
$169.99
Grundlagen der Verhaltensphysiologie
$84.99
