Copied Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
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
Identifying Security Logics in the EU Policy Discourse
$49.99
Online Education During COVID-19 and Beyond
$179.99
Old Questions and Young Approaches to Animal Evolution
$119.99
Integrated Uncertainty in Knowledge Modelling and Decision Making
$54.99
Axes of Sustainable Development and Growth in India
$169.99
Finite Dimensional Convexity and Optimization
$109.99
Artificial Intelligence and Security
$54.99
Change Kommunikation als Managementaufgabe
$37.99
Wie man ber Wandel spricht
$59.99
Frida Kahlo y sus animalitos
$6.71
On Norbert Elias - Becoming a Human Scientist
$54.99
Adult Congenital Heart Disease
$159.99
Atlas of Intraoperative Cranial Nerve Monitoring in Thyroid and Head and Neck Surgery
$199.99
NC-gerechte Beschreibung von Werkstcken mit gekrmmten Flchen
$59.99
Prevention of Kidney Disease and Long-Term Survival
$39.99
Big Data and Visual Analytics
$159.99
Gingival Recession Management
$89.00
First Philosophy
$179.99
Contemporary Issues in Modeling Psychopathology
$169.99
Lisp Lore: A Guide to Programming the Lisp Machine
$39.99
Abschtzungen fr Differentialoperatoren im Halbraum
$49.99
Chemische Reaktionstechnik
$34.99
North American Critical Theory After Postmodernism
$109.99
Robust Event-Triggered Control of Nonlinear Systems
$169.99
Verification by Error Modeling
$84.99
Bye, Penguin!
$5.96
Managing Environmental Risks through Insurance
$159.99
Die Leistung von Aktienanalysten aus Anlegersicht
$74.99
Machine Learning: ECML 2000
$39.99
The Classroom
$54.99
Systemisch-konstruktivistisches Didaktisches Reasoning
$17.99
Chefsache Interim Management
$24.99
Human Rights and Narrated Lives
$109.99
Optimizing Transport Logistics Processes with Multiagent Planning and Control
$39.99
Vergiftungen
$59.99
Return to Growth in CIS Countries
$109.99
Bilanzanalyse und Kennzahlen
$54.99
Geschichte der Soziologie 1
$69.99
Marine Mammals: the Evolving Human Factor
$149.00
The Palgrave Handbook of Gender and Healthcare
$69.99
