Copied Model Checking Software
Model Checking Software
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.
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 |
Reviews
Questions & Answers
Very Slow Flows of Solids
$259.00
Theta-Funktionen und spezielle Weierstrasche Funktionen
$49.99
Policy and Inequality in Education
$139.99
Mittag-Leffler Functions, Related Topics and Applications
$79.99
Stochastische Modelle demographischer Prozesse
$69.99
Cross-Cultural Encounters in Modern and Premodern China
$129.99
Die deutsch-franzsischen Beziehungen seit 1963
$59.99
The Psychological Science of Money
$109.99
Verhandlungen der Deutschen Gesellschaft fr Unfallheilkunde, Versicherungs-, Versorgungs- und Verke
$69.99
Portfolio Optimization Using Fundamental Indicators Based on Multi-Objective EA
$54.99
Steuerfall und Lsung
$59.99
Sertoli Cells and Leydig Cells in Man
$109.99
Advanced Asymmetric Synthesis
$219.99
Interaction Between Mental and Physical Illness
$109.99
Genome Structure and Function
$219.99
Robotics in Healthcare
$139.00
Controlling in kleinen und mittleren Unternehmen
$54.99
Advances in Body Area Networks I
$169.99
The Rewind by Allison Winn Scotch
$17.00
Der Architekten- und Ingenieurvertrag in der Berufspraxis
$64.99
Ultrasound-Guided Liver Surgery
$129.99
Beginning iPhone 4 Development
$29.99
The Graphic Lives of Fathers
$79.99
333 Keywords Arbeitsrecht
$19.99
Mine Water Treatment Active and Passive Methods
$139.99
Moon Over Manifest
$5.99
Urteilstheorie Vorlesung 1905
$129.99
Fortschritte der Experimentalpsychologie
$54.99
Die neue Bildungskrise
$64.99
Landscape Planning and Rural Development
$39.99
Pattern Recognition Techniques Applied to Biomedical Problems
$54.99
Geometrische Kristallographie und Kristalloptik und deren Arbeitsmethoden
$54.99
Hilfe! Mein Kind soll die Aufnahmeprfung in die Sexta bestehen!
$69.99
Business Process Management
$54.99
Crustacean Experimental Systems in Neurobiology
$219.99
Shakespeare and the Materiality of Performance
$54.99
Sustainability Leadership
$29.99
Turbulence and Interactions
$169.00
TestFrame
$54.99
Climate Change Adaptation in Pacific Countries
$169.99
