Copied Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009. The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Construction of Ecological Civilization in China
$179.99
From Complexity to Creativity
$189.00
Der berufliche Aufstieg der Frau
$59.99
Environmentally-Benign Energy Solutions
$219.99
Italians in Australia
$49.99
Applied Computing & Information Technology
$129.00
The Littlest Series: La Valentn ms pequea
$2.99
Advances in Multimedia Information Processing -- PCM 2015
$54.99
Positive Psychology in Latin America
$109.99
Pain in Women
$99.00
Internet and Distributed Computing Systems
$54.99
Design of Reconfigurable Logic Controllers
$109.99
The First Line of Code
$129.99
Foundation Blender Compositing
$49.99
Squeak-A-Boo (Scholastic Early Learners)
$6.75
The Art of Change
$59.99
Material Cycling of Wetland Soils Driven by Freeze-Thaw Effects
$109.99
Immigrant Integration and Urban Renewal in Toronto
$54.99
The Rise and Fall of Peacebuilding in the Balkans
$99.99
Technological Advancements and Innovations in Future of Education
$149.00
Multifunctional Epoxy Resins
$249.99
Atmospheric Methane
$219.99
Multi-objective Swarm Intelligence
$84.99
Chefsache Menschlichkeit
$24.99
Pediatric Electrocardiography
$79.99
ECOOP '88 European Conference on Object-Oriented Programming
$39.99
Advances in Bioinformatics
$179.99
Gesellschaftsentwicklung (Syndynamik)
$49.99
Focus on Homocysteine and the Vitamins
$109.99
PSpice for Digital Signal Processing
$34.99
Introduction to Structural Optimization
$54.99
Digital Terrestrial Broadcasting Networks
$109.99
Reconstructive Lymph Vascular Surgery
$84.99
Investor Relations in Deutschland
$59.99
Praxis der Viszeralchirurgie
$349.99
The Metal Road of the Eastern Eurasian Steppe
$199.99
Lectures on Soft Computing and Fuzzy Logic
$39.99
The Forest-Atmosphere Interaction
$129.00
Medieval Religion and its Anxieties
$119.99
Counting Statistics for Dependent Random Events
$129.99
