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
Frog and Toad: Days with Frog and Toad
$3.71
Social Marketing in Action
$129.99
Teaching Reading and Teacher Beliefs
$84.99
Dienstleistungen im Gesundheitssektor
$64.99
Bestimmung des Automatisierungsgrades der rechnergesttzten NC-Programmierung
$69.99
Pro SharePoint 2010 Search
$39.99
Netherlands Annual Review of Military Studies 2015
$49.99
Natural Language Processing and Chinese Computing
$54.99
Science Education in International Contexts
$49.99
Langzeitergebnisse in der Kinderorthopdie
$59.99
Natural Compounds as Therapeutic Agents for Amyloidogenic Diseases
$84.99
Vitamine und Mangelkrankheiten
$59.99
The Obamas and Mass Media
$54.99
Selected Letters of George Meredith
$129.00
Aviation Systems
$129.99
Advanced and Emerging Technologies for Resource Recovery from Wastes
$179.99
The Fitted Finite Volume and Power Penalty Methods for Option Pricing
$39.99
Desktop Publishing mit FrameMaker
$89.99
Mehrwegsysteme fr Verpackungen
$44.99
Evolution kooperativen Verhaltens
$49.99
Work, Precarity and COVID-19
$79.99
Notch from Neurodevelopment to Neurodegeneration: Keeping the Fate
$129.00
Lip Cancer
$84.99
Security and Bilateral Issues between Iran and its Arab Neighbours
$109.99
(Hoch)Schulmathematik
$34.99
Entrepreneurship in Former Yugoslavia
$109.99
Global Histories, Imperial Commodities, Local Interactions
$54.99
Explanation-Based Neural Network Learning
$169.99
Emergent Poetics
$44.99
Malerfachrechnen
$54.99
Jahrbuch der Schiffbautechnischen Gesellschaft
$59.99
Handbook of Engineering Acoustics
$219.99
Data Science for Fake News
$179.99
DSP for MATLAB and LabVIEW III
$37.33
Moral and Legal Reasoning
$39.99
Phase Transfer Catalysis in Organic Synthesis
$84.99
An Experimental Study of Pituitary Tumours
$59.99
Handbook of Children and Prejudice
$119.00
Expert Performance Indexing in Azure SQL and SQL Server 2022
$69.99
Governance of Communication Networks
$109.99
