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 $49.50 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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.
Reviews
Questions & Answers
Clinical Decisions in Nephrology, Hypertension and Kidney Transplantation
$329.99
Verwaltung im digitalen Zeitalter
$49.99
Co-Creation in der Creator Economy
$17.99
Reframing Antifascism
$54.99
Surface Properties of Layered Structures
$169.00
Transfer of Polarized Light in Planetary Atmospheres
$109.99
Merchants, Market and Monarchy
$129.99
Open Geometry: OpenGL + Advanced Geometry
$109.99
Netzwerkanalyse und Netzwerktheorie
$59.99
Differenzierbare G-Mannigfaltigkeiten
$19.99
Regulating Capitalism?
$54.99
Bewegungstherapie in der Kardiologie
$84.99
The Agile Sales
$99.99
Quantum Walks and Search Algorithms
$199.99
Creating Balance?
$84.99
Distributed Applications and Interoperable Systems
$39.99
Die Regulationen der Pflanzen
$59.99
Human-Computer Interaction
$79.99
Boa Constructor: A Branches Book (The Binder of Doom #2)
$5.24
Max Found Two Sticks
$6.71
Legendary and Mythical Guidebook: Super Deluxe Edition (Pokmon)
$7.49
Collaborative Product and Service Life Cycle Management for a Sustainable World
$329.99
Design and Control of Hybrid Active Power Filters
$54.99
Finanzplanung und Finanzkontrolle
$59.99
Three-Dimensional Machine Vision
$259.00
Fundamental Research with Polarized Slow Neutrons
$54.99
Service-orientierte Architekturen
$69.99
Herzchirurgie
$309.00
The Cultural Development of Labour
$54.99
Optimal Subset Selection
$54.99
Nora verlt ihr Puppenheim
$39.99
Funktionen und Leistungen von Nonprofit-Organisationen
$99.99
Rising Voices: Elevating Latino Stories, Grade 1
$634.95
Formal Methods for Components and Objects
$54.99
Push: Born Confused
$10.49
Symposia on Theoretical Physics 4
$39.99
Soziale Netzwerke und Internet-Spielewelten
$59.99
Sustainable Energy and Transportation
$129.00
A Modern Economic History of Emerging Markets (19502020)
$109.00
Verification, Model Checking, and Abstract Interpretation
$54.99
