Copied Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022. The 8 full papers were carefully reviewed and selected from 11 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
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Too Loud Lily
$4.46
Rural Development in Tropical Africa
$59.99
Polymer Blends and Mixtures
$39.99
HCI International 2019 - Posters
$54.99
Empirische Analysen zum Grndungsgeschehen in Deutschland
$99.99
EDV-Einsatz in Krankenanstalten
$59.99
Mesoscale Meteorology and Forecasting
$59.99
Agiler fhren
$29.99
Digital Workplace Learning
$84.99
Introducing Silverlight 4
$29.99
Wissensmanagement in IT-Unternehmensberatungen
$64.99
Parlamentarisierung der europischen Auenpolitik
$59.99
Current Trends in High Performance Computing and Its Applications
$169.99
Language Racism
$64.99
Interaction Between Ions and Molecules
$54.99
Extended Abstracts MWCAPDE 2023
$149.00
Processes of Recovery from Neural Trauma
$169.99
Changing Corporate Governance Practices in China and Japan
$109.99
Neue Konzepte fr das Kostenmanagement
$84.99
Advances in Mercury Toxicology
$219.99
The Origins of Bourbon Reform in Spanish South America, 1700-1763
$39.99
Music, Mind, and Embodiment
$39.99
Serotonin: Molecular Biology, Receptors and Functional Effects
$84.99
A Concise Guide to Nuclear Medicine
$49.99
Elektrochemie
$54.99
Engineering Information Systems in the Internet Context
$169.99
Simple Singularities and Simple Algebraic Groups
$29.99
konomie des Tourismus durch Sportgroveranstaltungen
$59.99
W. C. Fields from Burlesque and Vaudeville to Broadway
$54.99
Ein Frderkonzept zu mathematischem Grundwissen und Grundknnen am bergang in die Sekundarstufe II
$54.99
Eine kleine Nachtphysik
$34.99
Web Information Systems and Mining
$54.99
Otto Brahm
$54.99
Food Powders Properties and Characterization
$169.99
Oral Mucosal Drug Delivery and Therapy
$109.99
Comprehensive Healthcare Simulation: Pharmacy Education, Practice and Research
$129.99
Varicella Virus
$39.99
Bargaining over Time Allocation
$54.99
Perfect Square
$5.21
Toward Post Ageing
$84.99
