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
The Use of Supercomputers in Stellar Dynamics
$74.99
Labor and Employment Relations in a Globalized World
$109.99
Principles and Practice of Constraint Programming
$84.99
Chefsache Intrinsische Motivation
$34.99
The Palgrave Handbook of Local Governance in Contemporary China
$249.99
Foundations of Security Analysis and Design II
$54.99
Probleme der sterreichischen Strafrechtsreform
$59.99
Media Governance in Europa
$37.99
Essentials of C Programming with Microsoft Visual Studio
$99.99
Digital Transformations in Nordic Higher Education
$59.99
Antigen Presentation
$84.99
The Transcendent Science
$39.99
Guide to Java
$44.99
Shock Wave Lithotripsy 2
$74.99
Pattern Formation by Dynamic Systems and Pattern Recognition
$39.99
Issues in Japans China Policy
$44.99
The Vegetation and Physiography of Sumatra
$84.99
Der deutsche Roman der Moderne
$49.99
Beratung zu altersgerechten Assistenzsystemen
$49.99
Information-Powered Engines
$169.99
Performance Benchmarking
$39.99
Advances in Metal Carbene Chemistry
$169.00
Die Klinik der Coronarerkrankungen
$59.99
Sense-making: Problematizing Constructs of Literacy for 21st Century Education
$49.99
Spacelab Payloads
$24.99
Social and Psychosocial Determinants of Self-Rated Health in Central and Eastern Europe
$109.99
Air Pollution Modeling and Its Application I
$54.99
Internet of Vehicles. Technologies and Services Towards Smart City
$54.99
Slide Into Phonics: Alphabet & Letter Sounds
$12.74
Political Issues Under Debate
$109.99
Time-Inconsistent Control Theory with Finance Applications
$109.00
Buildings and the Geometry of Diagrams
$54.99
Jakob Stolz (1832-1919)
$44.99
Numerical Treatment of the Navier-Stokes Equations
$59.99
Investigating the Performance of Chinese Banks: Efficiency and Risk Features
$54.99
Genomics of Antibiotic Resistant Bacteria in Industrial Waste Water Treatment
$139.99
Pluripotency in Domestic Animal Cells
$54.99
China's Water Resources Management
$159.99
Arbeitsbuch zur Theoretischen Physik
$49.99
Transitions and Transformations in Learning and Education
$109.99
