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
Knowledge, Language and Logic: Questions for Quine
$54.99
Access to Education
$54.99
Applications in Decision-aiding Software
$59.99
Einfhrung von Innovationen
$69.99
Werkstoffe hoher Festigkeit
$44.99
Groe Stimmen
$59.99
How Do You Burp in Space?
$5.96
Unpaid Work and the Economy
$109.99
CALL, Culture and the Language Curriculum
$109.99
American Revenge Narratives
$99.99
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
$54.99
The Complex Mind
$109.99
Biomedical Applications
$84.99
Environmentally Improved Production Processes and Products: An Introduction
$109.99
Entwurf von Gebhrenstzen fr Untersuchungen von Nahrungsmitteln und Genussmitteln sowie Gebrauchsg
$54.99
Entwicklung einer Marketing-Konzeption mit SPSS/PC+
$29.99
Motion Correction in Thoracic Positron Emission Tomography
$54.99
Sustainable and Environmentally Friendly Dairy Farms
$64.99
Competitive MINDSTORMS
$39.99
Soziales Kapital in interorganisationalen Projekten
$19.99
Topics in Dynamics of Bridges, Volume 3
$219.99
Reviews of Environmental Contamination and Toxicology
$84.99
Investigations into the Combustion Kinetics of Several Novel Oxygenated Fuels
$219.99
Sustainable Practices for Landfill Design and Operation
$179.99
Handbook of Social Development
$219.99
Advances in Knowledge Discovery and Data Mining
$89.00
Kriminalitt im Grenzgebiet
$84.99
Centrality and Diversity in Search
$54.99
Immunoproteomics
$109.00
Advances in Systems Science
$169.00
Coronary Tone in Ischemic Heart Disease
$84.99
Fluid Dynamics for Global Environmental Studies
$139.99
Recent Advances in Transportation Systems Engineering and Management
$299.00
Agricultural Biodiversity and Biotechnology in Economic Development
$219.99
Stability Theory of Dynamical Systems
$69.99
Handbook of Endovascular Peripheral Interventions
$159.99
Essential Mathematical Biology
$37.99
The Semantic Web
$54.99
The Logic of Sortals
$89.99
Quantum Physics, Mini Black Holes, and the Multiverse
$34.99
