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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Austrian Economics in Transition
$84.99
Qubec Studies in the Philosophy of Science
$39.99
Brain Hypothermia
$54.99
Time in Quantum Mechanics
$54.99
Begrndungsmuster von Konsumenten
$59.99
Chemotherapy
$39.99
Antitrust Analysis of Online Sales Platforms & Copyright Limitations and Exceptions
$199.99
Recht in der Unternehmenspraxis
$59.99
Isostasie und Schweremessung
$59.99
Vorlesungen ber Integral- und Differentialrechnung
$69.95
The Raven King
$9.74
Fractions Basics Grade 4 Differentiation Pack
$5.99
Anwendung von RFID-Systemen
$34.99
Theatre of Good Intentions
$84.99
The P2 Nucleotide Receptors
$169.00
Entwerfen und Herstellen
$69.99
Document Analysis and Recognition ICDAR 2021
$109.99
Microvascular Mechanics
$39.99
Atlas of Coronary Intravascular Optical Coherence Tomography
$129.99
Partytime
$59.99
Data Analytics for Supply Chain Networks
$169.99
Containing Germany
$109.99
Almost Ring Theory
$59.99
Silicium und Silicone
$44.99
DNA Nanotechnology
$259.00
Advanced Diagnostics for Magnetic and Inertial Fusion
$129.00
Guided Science Readers: Animals-Level C: I Spy Rain Forest
$3.71
Mathematical Morphology: 40 Years On
$109.99
Strategies in Sustainable Tourism, Economic Growth and Clean Energy
$169.00
Development Planning and Poverty Reduction
$109.99
Modern Electrochemistry
$129.00
Conjugate Direction Methods in Optimization
$169.99
Psychoneuroscience
$54.99
Advances in Self-Organising Maps
$109.99
Security and Trust Management
$39.99
Back to School Grades PreK-K Pack
$4.99
Computational Ergodic Theory
$39.99
The Later Affluence of W. B. Yeats and Wallace Stevens
$54.99
Bioinformatics for Cancer Immunotherapy
$99.00
Academic Literacy Development
$139.99
