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 $49.50 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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.
Reviews
Questions & Answers
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
$69.99
Ghanas Ashanti Pioneer Newspaper
$129.99
Nitrate Contamination
$129.00
Aufbruch nach Amerika
$89.99
Frozen Section Library: Lung
$119.99
Sensory Marketing in Retail
$54.99
Foreign Capital as an Instrument of National Economic Policy
$54.99
Moderne Nahtmaterialien und Nahttechniken in der Chirurgie
$89.00
Communication and Peace
$54.99
Empirical Asset Pricing Models
$79.99
Innovations in Social Finance
$199.99
Vitalism and the Scientific Image in Post-Enlightenment Life Science, 1800-2010
$149.00
Digital Twin Technologies in Transportation Infrastructure Management
$219.99
Handbook of Molecular Force Spectroscopy
$169.99
Auge um Auge?
$49.99
Die Strae der ewigen Sehnsucht
$59.99
Moderne Probleme der Metallphysik
$79.99
Monetary Policy in Pacific Basin Countries
$109.99
Identittskonzepte von Managern
$54.99
Theorising Culture
$39.99
Transactional Agents
$39.99
Interdisciplinary Insights from the Plague of Cyprian
$139.99
What Will the Weather Be Like Today?
$5.96
Computational Methods for Optimal Design and Control
$109.99
Interrupting Chicken: Interrupting Chicken: Cookies for Breakfast
$5.96
Elektrodynamik und Relativitt: Das theoretische Minimum
$37.99
Organolanthoid Chemistry: Synthesis, Structure, Catalysis
$84.99
Tools for High Performance Computing 2012
$109.99
American Radio in China
$99.99
Analytical Biogeography
$84.99
Commercializing Innovation
$39.99
Discrete-Time Higher Order Sliding Mode
$109.99
Chinese Independent Animation
$99.99
Produktions-Management
$69.99
Cultivating Genius (10-copy pack)
$269.90
Teamology: The Construction and Organization of Effective Teams
$54.99
Cohomology Rings of Finite Groups
$109.99
Konsumentenverhalten im Zeitalter der Digitalisierung
$17.99
Hypertonie und Herz
$54.99
New Avenues to Efficient Chemical Synthesis
$109.99
