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 |
|
$49.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Brgerinnen und Brger im Wandel der Zeit
$34.99
Leistungselektronische Schaltungen
$179.99
The New Scholarship on Dewey
$54.99
Monoethylene Glycol as Hydrate Inhibitor in Offshore Natural Gas Processing
$54.99
Thermal Effects in Fracture of Multiphase Materials
$54.99
Biblical Organizational Spirituality, Volume 3
$179.99
Mites
$169.99
Sustainable Groundwater Management
$169.99
Conference Proceedings of ICDLAIR2019
$39.99
Familie, Fhrung und Ich
$17.99
Shed Tears for Diagnostics
$29.99
Youth and Justice in Western States, 1815-1950
$159.99
Linguistische Datenverarbeitung mit Comskee
$44.99
Leichte Bewegung - Gewinn fr Herz und Hirn
$19.99
The DelFly
$39.99
TCTP/tpt1 - Remodeling Signaling from Stem Cell to Disease
$179.99
Red Meat Science and Production
$109.99
Curriculum Change within Policy and Practice
$109.00
Foreign Policy Decision-Making (Revisited)
$119.99
Marktrisiko und Eigenkapital
$39.99
Kurzes Lehrbuch der Pharmazeutischen Chemie
$69.95
Analysis of Microarray Gene Expression Data
$129.00
Oxyfuel Combustion for Clean Energy Applications
$109.00
Plant Transposable Elements
$109.99
Handbook of Big Data and IoT Security
$149.00
The Changing Faces of Childhood Cancer
$39.99
Perturbed Gradient Flow Trees and A-algebra Structures in Morse Cohomology
$54.99
Pore Structure in Food
$54.99
Semiconductor Power Devices
$299.99
Epoch Synchronous Overlap Add (ESOLA)
$54.99
Infrastructure Investments in Developing Economies
$109.99
Discoverability
$109.99
Blockchain for Teens
$59.99
Theory of Symmetric Lattices
$54.99
Ellipse Fitting for Computer Vision
$64.99
Domagk 1937-1951
$49.99
Business Intelligence and Information Technology
$169.00
From the Napoleonic Empire to the Age of Empire
$159.99
Laser Micro-Nano-Manufacturing and 3D Microprinting
$169.99
Iguanas ranas
$5.96
