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
Zola and the Bourgeoisie
$54.99
Why Games Are Good For Business
$59.99
More Thinking about Credit
$169.99
The Mahalanobis Growth Model
$79.99
Matrix Metalloproteases
$179.99
Population Genetics in Animal Breeding
$139.99
Atlas of Quaternary Pollen and Spores in China
$219.99
Informationsagenten im Data Warehousing
$74.99
Coherent Sources of XUV Radiation
$129.00
The Brain and Hearing
$54.99
Der Marketing-Switch pharmazeutischer Produkte
$74.99
Ischemia-reperfusion in cardiac surgery
$39.99
Muslim Reformism - A Critical History
$39.99
Psychologische Selbsthilfe bei Mobbing
$17.99
Judaism Without Jews
$39.99
Computerized buckling analysis of shells
$259.00
Drug Delivery in Dermatology
$119.99
The Calculus of Variations and Optimal Control
$109.99
Sociological Cultural Studies
$109.99
rztliche Behandlung an der Grenze des Lebens
$59.99
Bemerkungen ber neuere Erddruckuntersuchungen. Modellversuche ber Zusammenwirken von Mantelreibung
$59.99
Energy resources and economic development in India
$109.99
Tutorien zur Technischen Mechanik
$19.99
Ordinary Differential Equations in Rn
$109.99
Geronimo Stilton: The Curse of the Cheese Pyramid (#2)
$5.99
Probleme der Darmtuberkulose
$59.99
Selected Areas in Cryptography
$84.99
Applications and Usability of Interactive TV
$54.99
Saving the Environment in Sub-Saharan Africa
$84.99
Audit Studies: Behind the Scenes with Theory, Method, and Nuance
$119.99
Empowering 21st Century Learners Through Holistic and Enterprising Learning
$129.00
Researching Audio Description
$109.99
Comprehensive Energy Management Eco Routing & Velocity Profiles
$54.99
Nuclear G-Protein Coupled Receptors
$169.99
The Anarchical Society in a Globalized World
$54.99
Armenia, the Regional Powers, and the West
$39.99
Inner Experience of the Chinese People
$39.99
Das vlkerrechtliche Verhltnis zwischen der EU und Russland im Energiesektor
$84.99
Finanzielle Selbstbestimmung
$19.99
Coastal Wetlands: Alteration and Remediation
$249.99
