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 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
Reviews
Questions & Answers
Flchtlinge
$54.99
Winning the White House, 2008
$54.99
Sustainable Local Development for Environmental and Social Sustainability
$169.99
Understanding and Modeling Frster-type Resonance Energy Transfer (FRET)
$54.99
Die Infraroterwrmung an thermoplastischen Kunststoffen
$59.99
Ambient Intelligence
$54.99
Kommerzielles Lobbying und Public Affairs-Management
$74.99
Moral Responsibility and Ontology
$169.99
Teaching, Affirming, and Recognizing Trans and Gender Creative Youth
$37.99
International Impact on 19th Century Norwegian Education
$139.99
Simply Seven
$54.99
Lectures on Categorical Data Analysis
$99.99
Lehrbuch der Pflanzenkrankheiten
$59.99
The Americas in Early Modern Political Theory
$39.99
The Vacuum Cleaner
$37.99
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
$54.99
Microwave High Power High Efficiency GaN Amplifiers for Communication
$69.99
Full Cicada Moon
$5.24
Inner Workings of the Novel
$54.99
Molekularakustik
$44.99
Capitalism Without Capital
$109.99
Mathematical Structures in Population Genetics
$84.99
The Sodium-Hydrogen Exchanger
$84.99
Problems and Methodologies in Mathematical Software Production
$29.99
Tarifwahl bei Internetzugang
$64.99
Data through Movement
$59.99
Biotechnology and Polymers
$39.99
Functional and Stereotactic Neurosurgery
$39.99
Seedlings of the North-Western European Lowland
$149.00
Digitale Medien und Nachhaltigkeit
$49.99
Neuroimmune Pharmacology
$159.00
Cardiovascular Risk Assessment in Primary Prevention
$249.99
Saving the Liberty Bell
$5.21
William Shakespeare
$54.99
Modelling Non-Stationary Economic Time Series
$120.00
Post-2020 Climate Action
$119.00
English Instruction as a Local Practice
$37.99
Geometric Analysis of the Bergman Kernel and Metric
$89.99
Primary Central Nervous System Tumors
$169.00
Advanced Topics in Difference Equations
$109.99
