Copied Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Simulation in der Fahrwerktechnik
$74.99
Interior Point Approach to Linear, Quadratic and Convex Programming
$54.99
Zur redundanten Konfiguration automatisierter Flieproduktionssysteme
$59.99
Modernity and the Ideals of Arab-Islamic and Western-Scientific Philosophy
$109.00
Das Leben der Sterne
$17.99
Employment and Re-Industrialisation in Post Soeharto Indonesia
$79.99
Cartilage Restoration
$109.00
Learning to Teach with Assessment
$54.99
New Urban Agenda in Zimbabwe
$159.99
Handbook of Bacterial Adhesion
$219.99
Pseudo-Differential Operators
$69.95
Information und Kommunikation
$44.99
Carcinoma of the Cervix
$39.99
Locating Exiled Writers in Contemporary Russian Literature
$54.99
Scooper and Dumper
$5.99
Sibling Love and Incest in Jane Austens Fiction
$49.95
Materials for Electronic, Magnetic, and Spintronic Technologies
$199.99
Unconventional Computation and Natural Computation
$64.99
Fhrungskompetenz durch achtsame Selbstwahrnehmung und Selbstfhrung
$29.99
Marken und Sport
$69.99
Nature-Based Tourism in Asias Mountainous Protected Areas
$169.99
The Geometry of Urban Layouts
$109.99
Epistemologische berzeugungen von Erzieherinnen und Erziehern
$64.99
Microbial Carotenoids from Bacteria and Microalgae
$109.99
Die Vernunft und ihre Grenzen
$59.99
Der Gieerei-Schachtofen im Aufbau und Betrieb
$59.99
Albert Einstein
$69.99
Bittere Reformen
$49.99
Advances in Biometric Person Authentication
$54.99
Pharmazeutisches Tier-Manual
$59.99
Computer Vision ECCV 2020 Workshops
$109.00
Applications in Electronics Pervading Industry, Environment and Society
$199.99
Integrated Uncertainty Management and Applications
$169.00
Control of Distributed Parameter and Stochastic Systems
$169.99
A World Without Values
$109.99
10th Central European Congress on Food
$329.99
Transforming Growth Factor-Beta in Cancer Therapy, Volume I
$169.00
Multivariate Birkhoff Interpolation
$34.99
Lvy Matters II
$49.95
Therapeutische Beziehung und die Behandlung chronischer Depressionen
$69.99
