Copied Model Checking Software
Model Checking Software
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.
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 |
|
$49.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Politics and Government in the Visegrad Countries
$84.99
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
$54.99
Systemprogrammierung OS/2 2.x
$49.99
Introduction to the Geometry of Foliations, Part A
$39.99
History Education at the Edge of the Nation
$169.99
Shakespeares Early History Plays
$44.99
Digital Electronics and Laboratory Computer Experiments
$54.99
Model Checking Software
$54.99
Social Informatics
$54.99
Pro Apache Struts with Ajax
$34.99
Emerging Research in Computing, Information, Communication and Applications
$169.00
The Federal Republic of Germany at Forty-Five
$39.99
Bifurcation of Extremals in Optimal Control
$29.99
MultiMedia Modeling
$99.00
Mechatronics by Bond Graphs
$109.99
Dragged From Under #2: The Great White Shark
$5.24
Tolerance and Dissent within Education
$79.99
Electron Liquids
$54.99
Community, Market and State in Development
$54.99
Employee Motivation in Saudi Arabia
$84.99
Women and Welfare
$84.99
Data Mining in Bioinformatics
$129.00
Principles of Data Mining
$34.99
Calcium in Internal Medicine
$39.99
Artificial Oxygen Carrier
$169.00
Preisnderungen, Ertragsrckgang und Produktionsnderung in der Landwirtschaft im Kreise Worms in de
$59.99
Image Schemas and Concept Invention
$84.99
Chemisches Grundpraktikum fr Studierende mit Chemie als Nebenfach
$54.99
Mittelstndische Unternehmen
$59.99
Berichte zur Lebensmittelsicherheit 2012
$37.99
Der Antrieb von morgen 2020
$139.99
Grenzberschreitungen im Kompetenzmanagement
$29.99
Payment Systems and Productivity
$24.99
Interwar London after Dark in British Popular Culture
$119.99
Natural Deduction, Hybrid Systems and Modal Logics
$249.99
Large-Scale Oceanographic Experiments and Satellites
$169.99
Pseudomonas syringae and related pathogens
$219.99
Uveitis
$129.99
Gesundheitliche Resilienz
$74.99
Fundamentals of Plant Breeding
$129.99
