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:
Buy Model Checking Software for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Abstraction and Aging
$54.99
Pocket PC Database Development with eMbedded Visual Basic
$39.95
Integraler baulicher Erdbebenschutz I: Schutzauftrag Begriffe rechnerischer Nachweis
$54.99
Leaders and Health Care Organizational Change
$109.99
Die Vernderung von Synthesefasern durch eine Hitzebehandlung im Vakuum
$54.99
Verallgemeinerte stochastische Prozesse
$24.99
Improving Road Pavement Characteristics
$109.99
Energy-Efficient Electric Motors and their Applications
$169.99
The Third World War Scare in Britain
$44.99
Gewhnliche Differentialgleichungen
$44.99
Global Infectious Diseases
$109.99
Civil and Environmental Engineering for the Sustainable Development Goals
$37.99
Dynamics 365 Field Service
$64.99
Applied Computing for Software and Smart Systems
$149.00
The Mathematical Legacy of Srinivasa Ramanujan
$159.99
Emerson's Transatlantic Romanticism
$39.99
The 2011 Fukushima Daiichi Nuclear Power Plant Accident
$179.99
Schler an der Schwelle zur deutschen Einheit
$39.99
Photoptics 2014
$109.99
(Be)Werten. Beitrge zur sozialen Konstruktion von Wertigkeit
$64.99
Wertorientierte Management-Incentivesysteme auf Basis interner Wertkennzahlen
$74.99
Microbial Production of L-Amino Acids
$169.00
Practical PID Control
$129.00
Systemic Thinking
$69.99
Adaptive Filtering
$84.99
Environmental Geochemistry of Potentially Toxic Metals
$54.99
Family Business
$43.69
The Literacy 50-A Q & A Handbook for Teachers (30-copy pack)
$809.70
A Brief History of Schooling in the United States
$64.99
Bipolar Depression: Molecular Neurobiology, Clinical Diagnosis, and Pharmacotherapy
$199.99
Data Mining in Agriculture
$39.99
Evil Queen Lorebook Card Portfolio by Ravensburger Disney Lorcana Trading Card Game Snow White and the Seven Dwarfs
$19.99
Narrating a New Mobility Landscape in the Modern American Road Story, 18931921
$129.99
Wordsworth and Word-Preserving Arts
$54.99
Communications, Signal Processing, and Systems
$379.99
Mentales Gehtraining
$69.99
Arzneiverordnungs-Report 2020
$89.99
Klinische Arterienpulsschreibung
$34.99
Mobility-as-a-Service
$84.99
Bacteriophages: Practical Applications for Nature's Biocontrol
$109.00
