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
Zivilgesellschaft und Sozialkapital
$59.99
Study and Research Guide in Computer Science
$54.99
Photonic Slot Routing in Optical Transport Networks
$109.99
Norm Ideals of Completely Continuous Operators
$59.99
Java 7 Recipes
$49.99
Das Wuppertal Haus
$49.99
Corporate Treasury Management
$84.99
Propaganda, Politics and Film, 191845
$84.99
The National Freight Buy-Out
$44.99
Biologische Psychologie
$29.99
A Spenser Chronology
$84.99
Logik fr Informatiker
$29.99
Automobile Insurance: Road Safety, New Drivers, Risks, Insurance Fraud and Regulation
$169.00
Atlas of Coronary Intravascular Optical Coherence Tomography
$129.99
Red Sanders: Silviculture and Conservation
$169.99
Rancidity in Foods
$169.99
Technologies for Detection of DNA Damage and Mutations
$169.00
Full Seismic Waveform Modelling and Inversion
$129.00
Energy Utilisation: The Opportunities and Limits
$49.99
Wikipedia, Work and Capitalism
$119.99
Rivalry for Trade in Tea and Textiles
$129.99
Statistical Approaches for Epidemiology
$109.99
Nicht jeder Auftrag bringt Gewinn
$59.99
Rethinking Interdisciplinarity across the Social Sciences and Neurosciences
$31.00
Issues and Reviews in Teratology
$39.99
The Governing-Evaluation-Knowledge Nexus
$59.99
Classic Goosebumps: The Werewolf of Fever Swamp (#11)
$5.99
Advances in Knowledge Discovery and Data Mining
$129.00
Advances in X-Ray Analysis
$84.99
Fnfzehnte sterreichische rztetagung Wien Van Swieten-Kongre
$79.99
Linguistik und Statistik
$69.99
Solidarity Congress, 1981
$54.99
Polynomial Formal Verification of Approximate Functions
$109.99
Wurzelinduzierte Bodenvorgnge
$39.99
A High-Rate Virtual Instrument of Marine Vehicle Motions for Underwater Navigation and Ocean Remote
$84.99
Urban Economics
$19.99
Abstract Fractional Monotone Approximation, Theory and Applications
$119.00
Trauma of the Spine
$109.99
Urban Flooding in Brazil
$129.00
Analog Circuit Design for Process Variation-Resilient Systems-on-a-Chip
$109.99
