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 refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.
Reviews
Questions & Answers
Methodology in Politeness Research
$89.00
Falsche Erinnerungen
$24.99
Familiendiagnostik bei Drogenabhngigkeit
$54.99
Molly's Pilgrim
$4.46
Anglo-American Diplomacy and the Palestinian Refugee Problem, 1948-51
$54.99
Numerical Modeling in Open Channel Hydraulics
$129.00
Elektrotechnik fr Ingenieure - Klausurenrechnen
$39.99
Hegemony and Class Struggle
$139.99
Pediatric Palliative Care: Global Perspectives
$169.00
Data and Applications Security XVII
$129.00
Management Strategies to Survive in a Competitive Environment
$179.99
Computer Networks and the Internet
$89.99
Identification and Control Using Volterra Models
$249.99
Pediatric Interviewing
$84.99
The Magic Ring
$129.00
Mechanics and Thermodynamics
$79.99
Nanomaterials in Pharmacology
$199.99
Servicetransformation
$79.99
Health 4.0: How Virtualization and Big Data are Revolutionizing Healthcare
$159.99
Physics of Granular Suspensions
$199.99
Inland Waters of Southern Africa: An Ecological Perspective
$169.00
Religion und Kultur
$44.99
Branchenbergreifende Analyse des Aufbaus einer starken Retail Brand
$79.99
Die Neutralitt im heutigen Vlkerrecht
$59.99
When Women Played Baseball
$3.71
Seminar on Stochastic Processes, 1985
$39.99
Wie baue ich einen einfachen Rhren-Empfnger?
$59.99
Optionen in Lebensversicherungsprodukten
$59.99
The Global Digital Divides
$109.99
Explosives Detection
$169.99
Introductory MEMS
$69.99
Sleep and Sleep Disorders:
$219.99
Novel Approaches for Bioremediation of Organic Pollution
$129.00
Systemtheorie und Ethik als Grundlagen umweltbewuter Unternehmensfhrung
$49.99
Change and Invariance
$39.99
Programmierung mit PASCAL
$49.99
Messen messbar machen
$99.00
NLR Proteins
$39.99
Medical Practice in Rural Communities
$39.99
Unternehmen der nchsten Generation
$44.99
