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 $54.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
|
|
$54.99 | $54.99 |
|
$54.99 | 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
Alasdair Gray
$54.99
Artificial Intelligence Trends in Intelligent Systems
$379.99
Springer Tracts in Modern Physics 19
$54.99
Grundwasserabsenkung bei Fundierungsarbeiten
$49.99
Machine Intelligence and Data Science Applications
$249.99
Zufllige Punktprozesse
$49.99
Media Capitalism
$129.99
Interdisciplinary Applications of Shame/Violence Theory
$139.99
Mediation der Zukunft fr Paare und Familien
$17.99
16- Bit-Mikroprozessorsysteme
$54.99
Capitalism and Migration
$109.99
Experimental Models of Cardiovascular Diseases
$169.99
Developments in Applied Spectroscopy
$109.99
Shaping Online News Performance
$95.00
Die gegenwrtigen Behandlungswege der Kieferschussverletzungen
$59.99
Etiology: Chemical and Physical Carcinogenesis
$84.99
Watership Down- A Novel by Richard Adams
$19.99
Sherlock Holmes and Conan Doyle
$54.99
Ultra Low Power Transceiver for Wireless Body Area Networks
$84.99
Unternehmensrechnung und -besteuerung
$54.99
Multiple Drug Resistance in Cancer 2
$219.99
Ergebnisse der Chirurgie und Orthopdie
$59.99
Proceedings of International Conference on Scientific and Natural Computing
$219.99
Advanced Research in Technologies, Information, Innovation and Sustainability
$99.99
Dermal Absorption and Decontamination
$39.99
Data Science and Analytics
$39.99
The Explicit Animal
$49.99
Kurven zur Berechnung der von knstlichen Lichtquellen indizirten Helligkeit
$54.99
Management des europischen Tourismus
$49.99
Polysaccharide Based Films for Food Packaging: Fundamentals, Properties and Applications
$179.99
Kontextabhngige Konzeptualisierung der Markenpersnlichkeit
$74.99
Smart TV Security
$54.99
Legal Tech und Legal Robots
$29.99
Stoffaufnahme von in vitro gezchteten Zellen, unter besonderer Bercksichtigung von Phagocytose und
$54.99
Mglichkeiten und Grenzen der Medizin
$69.99
Basic Algebraic Geometry 1
$74.99
Executive Power in Theory and Practice
$129.99
Retrospect
$54.99
Solution Methods for Integral Equations
$39.99
Global to Local: Ecological Land Classification
$169.00
