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
Algorithmic Number Theory
$39.99
Colour Vision Deficiencies XIII
$219.99
Zehn agonistische Papyri
$44.99
The PKK-Kurdistan Workers Partys Regional Politics
$109.99
The Correspondence of Robert Bridges and W. B. Yeats
$14.99
Healthy Lifestyle
$199.99
Essays in Labour History 18861923
$54.99
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms
$54.99
Magnetic Control of Tokamak Plasmas
$139.99
Parallel Processing Techniques for Simulation
$39.99
Dynamic Isolation Technologies in Negative Pressure Isolation Wards
$54.99
Specification and Design Methodology for Real-Time Embedded Systems
$84.99
Symmetrien von Ornamenten und Kristallen
$59.99
Elements of Mathematics
$69.99
Systems, Software and Services Process Improvement
$39.99
New Achievements in Continuum Mechanics and Thermodynamics
$219.99
Mechanical Properties of Reinforced Thermoplastics
$39.99
Beziehungsmanagement in der Automobilindustrie
$74.99
Piezoelectric MEMS Resonators
$99.00
The Politics of Trauma and Memory Activism
$64.99
Entscheidungskriterien fr Glubiger
$69.99
Reading, Feminism, and Spirituality
$109.99
Bankmagazin - Jahrgang 2018
$69.99
Information Processing in Medical Imaging
$39.99
Mathematische Methoden der Theoretischen Physik | 1
$44.99
The SAGES / ERAS Society Manual of Enhanced Recovery Programs for Gastrointestinal Surgery
$119.99
Mathematische Methoden zur Mechanik
$39.99
Sir Walter Ralegh and his Readers in the Seventeenth Century
$109.99
Fernsehen und Angstbewltigung
$37.99
Solid State Imaging
$54.99
Molecular Breeding of Forage and Turf
$169.99
Physiology and Pathology in the Perinatal Period
$54.99
Photonic Band Gaps and Localization
$219.99
Behavior Genetics of Psychopathology
$109.99
Telekommunikation und Kapitalmarkt
$69.99
Kognitive Systeme
$44.99
Mathematical Foundations of Computational Electromagnetism
$159.99
Max Schmeling und die Entstehung eines Nationalhelden in Deutschland im zwanzigsten Jahrhundert
$84.99
Disaster Response Practices
$99.99
Logistik-Controlling in der Versorgung
$74.99
