Copied Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.
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
Systemtechnik Planung komplexer innovativer Systeme
$84.99
Nachwuchsfrderung in der Wissenschaft
$59.99
Dyson Quantenfeldtheorie
$39.99
Inorganic Elements in Biochemistry
$39.99
Mikropolitik
$69.99
Value Creation in International Business
$84.99
Characterization of Nanoparticles Intended for Drug Delivery
$139.99
Cosmopolitanism and the Evils of the World
$89.00
Prostaglandine in Geburtshilfe und Gynkologie
$69.99
Truth to Post-Truth in American Detective Fiction
$119.99
Simulation and Testing for Vehicle Technology
$219.99
Power Engineering and Intelligent Systems
$249.99
The Dodo: Rosie's Story
$5.99
Ad Hoc Networks
$54.99
Treatise on Solid State Chemistry
$39.99
Proceedings of the Second International Conference on the Future of ASEAN (ICoFA) 2017 - Volume 1
$329.99
Reibungsverhalten elastomerer Lagerwerkstoffe
$59.99
Laser in der Medizin / Laser in Medicine
$69.99
Literature, Gender, and Nation-Building in Nineteenth-Century Egypt
$109.99
Intelligent Decision-making Support Systems
$219.99
Functional Equations, Inequalities and Applications
$109.99
Stochastische Modelle
$34.99
Krper Leib Sozialitt
$74.99
Microbial Sulfur Metabolism
$219.99
Craft Production and Social Change in Northern China
$169.99
Die Fortentwicklung des Datenschutzes
$99.99
Volksgemeinschaft 1933 - 1945
$34.99
Metacognition
$169.99
Habitustransformation durch Bildung
$34.99
Travel Writing and the Natural World, 1768-1840
$54.99
Wings of Fire Graphic Novel: The Dragonet Prophecy (#1) (Hardcover)
$18.74
Toward a New Millennium in Galaxy Morphology
$219.99
Corporate Real Estate Management
$17.99
The Lacrimal System
$149.00
The 'Community Method'
$54.99
Geometry Over Nonclosed Fields
$139.00
Pollutants from Combustion
$219.99
Computer Applications in Production and Engineering
$379.99
Red Meat Science and Production
$109.99
Interleukin 12: Antitumor Activity and Immunotherapeutic Potential in Oncology
$39.99
