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
Das amerikanische Regierungssystem
$59.99
Main Economic Policy Areas of the EEC Towards 1992
$39.99
Advances in Human Factors in Robots and Unmanned Systems
$169.99
Cancer Imaging with Radiolabeled Antibodies
$259.00
Materializing Bakhtin
$109.99
Clinical Aspects of The Plasma Proteins
$39.99
Parteien, Parteiensysteme und politische Orientierungen
$64.99
Advances in Web-based Learning - ICWL 2012
$54.99
Grab and Go Pack Theme 4: Foundational Skills Grade 7
$29.95
Anticancer Drug Development Guide
$129.00
Die Gestaltung der Erdoberflche
$44.99
Speak for Yourself
$7.49
Sulphonation Technology in the Detergent Industry
$379.99
Online Language Learning
$69.99
Banking, Projecting and Politicking in Early Modern England
$119.99
Handbook of School Mental Health
$299.00
Strategic Management Accounting, Volume II
$119.99
Applied Cryptography and Network Security
$39.99
FPGAs for Software Programmers
$169.99
Austria 19181972
$39.99
Peritoneal Carcinomatosis: A Multidisciplinary Approach
$219.99
Toni Morrison
$24.99
Minecraft- The Dragon- An Official Minecraft Novel by Nicky Drayden
$17.99
Soil Health and Climate Change
$219.99
Photogrammetric Image Analysis
$54.99
Ethical Issues in Health Care on the Frontiers of the Twenty-First Century
$169.99
Praktisches Handbuch der gesamten Schweitechnik
$64.99
Reimagining Singapore
$119.99
250 Keywords Bankwirtschaft
$9.99
Descartes Treatise on Man and its Reception
$99.00
Die Oberflchenhrtung
$59.99
The Macroeconomic Mix to Stop Stagflation
$84.99
Cardiology in Family Practice
$54.99
Family and School Capital: Towards a Context Theory of Students' School Outcomes
$109.99
Free to Be Elephant Me (Hardcover)
$14.24
Nature-Inspired Computation in Navigation and Routing Problems
$109.99
Proceedings of 3rd 2023 International Conference on Autonomous Unmanned Systems (3rd ICAUS 2023)
$249.99
On Willing Selves
$39.99
Creating Responsive Websites Using HTML5 and CSS3
$49.99
Das Substitutionsgesetz der Organisation
$59.99
