Copied Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
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
Abolitionism and the Persistence of Slavery in Italian States, 17501850
$99.99
Defining Physiology: Principles, Themes, Concepts
$109.00
Organizational Hubris
$39.99
Investigations in Teaching and Learning Languages
$109.99
Surfactants in Solution
$39.99
Artificial Intelligence in Education and Teaching Assessment
$169.99
Metallurgical Process Engineering
$169.00
Schizophrenia
$39.99
Intracellular Delivery III
$129.00
Beginning SQL Server 2008 for Developers
$49.99
Academic Scepticism in the Development of Early Modern Philosophy
$84.99
Hurra, ein problem!
$59.99
Fair and Equitable Treatment and the Fabric of General Principles
$109.00
Tropische Nutzpflanzen
$79.99
Outlier Analysis
$159.99
Automata Implementation
$39.99
Die Europische Union Marionette oder Regisseur?
$64.99
Household and Family Economics
$169.99
Riemanns Boundary Problem with Infinite Index
$109.99
Handbook of Rehabilitation in Older Adults
$199.99
Perspectives in Theoretical Stereochemistry
$54.99
Proactive Condition Monitoring of Low-Speed Machines
$109.99
Micelles
$54.99
Microwave Integrated Circuits
$219.99
Political Culture in Panama
$54.99
Particle Interactions at High Energies
$39.99
Bark Anatomy of Trees and Shrubs in the Temperate Northern Hemisphere
$199.99
Regional Fisheries Oceanography of the California Current System
$129.00
Reviews of Environmental Contamination and Toxicology Volume 251
$119.00
Incompatibility and Incongruity in Wild and Cultivated Plants
$169.99
Bacterial Plasmids
$54.99
An Introduction to Operator Polynomials
$39.99
All Eyes East
$49.99
Numerical Quantum Dynamics
$84.99
Mad Technology
$109.99
Practical Implementation of a Data Lake
$29.99
Advances in Energy and Environment
$169.99
Multiples Myelom
$84.99
Einfhrung in das Behindertenrecht
$74.99
ZAK Zrich
$69.99
