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
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems
$39.99
The International Criminal Court and the End of Impunity in Kenya
$54.99
The Cinema of Muhammad Malas
$59.99
Cancer Informatics
$39.99
Enterprise, Business-Process and Information Systems Modeling
$54.99
Trustmarks in E-Commerce
$64.99
Blockchain-Technologie fr Unternehmensprozesse
$59.99
Emotions as Bio-cultural Processes
$109.99
Grundlagen der optoelektronischen Halbleiterbauelemente
$34.99
Single Pesticide Volume: The Triazine Herbicides
$54.99
My First Christmas (Disney Baby) by Disney Books
$8.99
Advances in Modeling Concrete Service Life
$169.99
Interdisciplinary Nutritional Management and Care for Older Adults
$59.99
Motor Activity and Movement Disorders
$129.00
Interdisciplinary Aspects of Turbulence
$54.99
Evolutionary Computing
$39.99
Coding theorems of classical and quantum information theory
$40.00
Berufs- und Karriere-Planer 2006: Mathematik - Schlsselqualifikation fr Technik, Wirtschaft und IT
$19.99
Atlas of Cardiovascular Pathology
$39.99
Anaerobic Bacteria
$54.99
Urban Mountain Waterscapes in Leh, Indian Trans-Himalaya
$159.99
The clinically organ-confined adenocarcinoma of the prostate
$109.99
Long Travail and Great Paynes
$109.99
The Global Competitiveness of the Asian Firm
$129.00
Politische Geschichte der Gegenwart
$59.99
Dissent, Revolution and Liberty Beyond Earth
$159.99
Nanopesticides
$129.00
IUTAM Symposium on Variable Density Low-Speed Turbulent Flows
$39.99
Candida Albicans
$129.00
Untersuchungen ber den Konverterrauch im Hinblick auf die spektrale berwachung des Thomasprozesses
$59.99
Tools for Computational Finance
$89.99
Steroid Hormones and the T-Cell Cytokine Profile
$84.99
Motion Understanding
$219.99
Computer Algebra in Scientific Computing
$54.99
Post-Secondary Education and Technology
$39.99
Human Resource Development and Information Technology
$169.99
Die Entdeckung des Neuen
$39.99
Tobacco Regulation, Economics, and Public Health, Volume III
$119.99
Interaktive Grogruppen
$79.99
Handbook of Treatment Planning for Children with Autism and Other Neurodevelopmental Disorders
$169.00
