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 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented 14 regular papers and 4 tool or new idea papers were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Bchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.
Reviews
Questions & Answers
Uncertainty and Graphing in Discovery Work
$109.99
National Geographic Kids: Baby Mammoth Mummy Frozen in Time!
$5.21
Social Action
$169.99
Rainfed Agriculture and Watershed Management
$109.00
Resource-Constrained Project Scheduling
$109.99
Hannah Arendt and Participatory Democracy
$99.99
Bildung von Kreditnehmereinheiten gem 19 Abs. 2 KWG
$39.99
Web Information Systems Engineering WISE 2018
$54.99
Vorteilhaftigkeit von Kaufakzeleration bei konsumentengerichteter Verkaufsfrderung
$59.99
Directions of Development of Transport Networks and Traffic Engineering
$84.99
Real Options
$64.99
The Estimation of Macroeconomic Disequilibrium Models with Regime Classification Information
$54.99
Rookie Reader-GR Level C: All Kinds of Kids
$3.71
Tackling Society's Grand Challenges with Design Science
$54.99
Den Mond neu entdecken
$29.99
The American Love Lyric After Auschwitz and Hiroshima
$54.99
Erfolgreich wissenschaftlich arbeiten in der Klinik
$89.99
Liver MRI
$169.00
Social Monitoring for Public Health
$54.99
Shakespeares Imagined Persons
$109.99
Einfhrung in die Literaturtheorie
$24.99
Die japanischen Manager
$34.99
High-Performance Nutrition for Masters Athletes by Lauren A. Antonucci
$27.95
Duty and Inclination The Fundamentals of Morality Discussed and Redefined with Special Regard to Kan
$129.00
Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry
$39.99
Fukushima and the Privatization of Risk
$39.99
Kontinuierliche Messung des arteriellen Sauerstoffpartialdrucks
$69.99
Biscuit Takes a Walk
$4.46
Stability and Characterization of Protein and Peptide Drugs
$219.99
Medicine, Emotion and Disease, 1700-1950
$54.99
Volcanic Hazards
$109.99
Geometry of Quantum Theory
$54.99
Steps to Follow
$99.99
Applied Computing for Software and Smart Systems
$169.00
State-of-the-Art and Future Directions of Smart Learning
$129.00
Mobile Networks for Biometric Data Analysis
$169.00
Rating-Agenturen im Finanzmarktkapitalismus
$74.99
Through the Scope of Life
$129.99
Collaborative Computing: Networking, Applications and Worksharing
$109.99
The Italian Banking System
$109.99
