Copied Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 2627, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
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
|
|
$44.99 | $44.99 |
|
$40.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
102. Kongre der Deutschen Gesellschaft fr Chirurgie Mnchen, 10.13. April 1985
$69.99
ber die Reaktion von Acetylen mit den Bestandteilen von Trockenreinigungsmassen
$54.99
The Developing Language Learner
$109.99
Islamic Economics and Finance
$39.99
Singular Perturbations and Boundary Layer Theory
$44.99
Management of Fecal Incontinence
$39.99
Die Brokmer Rechtshandschriften
$59.99
Kooperation in strategischen Wissensnetzwerken
$64.99
Computational Strategies Towards Improved Protein Function Prophecy of Xylanases from Thermomyces la
$54.99
Ant Algorithms
$54.99
Bildung als Privileg?
$54.99
Studies on Montesquieu - Mapping Political Diversity
$109.99
The Littlest Series: The Littlest Cupid
$3.71
Konjunktur und Wachstum
$59.99
Governing Metropolitan Transport
$54.99
Anhedonia: A Comprehensive Handbook Volume II
$169.99
Experimental Watershed Liming Study
$84.99
Handbook on Policing in Central and Eastern Europe
$109.99
Agrar-unternehmensrecht
$74.99
Dialog Systems
$129.99
Foodscapes
$89.00
Erkrankungen der Inneren Organe und des Nervensystems nach Elektrischen Unfllen
$59.99
No, David!: Crece ya, David!
$5.99
Measuring Behavioral Health Outcomes
$54.99
Application and Theory of Petri Nets
$54.99
Social Judgment and Intergroup Relations
$39.99
Computational Techniques for Intelligence Analysis
$99.99
Das Permeabilittsproblem
$59.99
Advances in Rings, Modules and Factorizations
$199.99
Lecture Notes in Rotorcraft Engineering
$119.99
Relational and Algebraic Methods in Computer Science
$54.99
Scientific Discovery, Logic, and Rationality
$219.99
Datenschutz und Datensicherung im Wandel der Informationstechnologien
$69.99
Narratives of Community in the Black British Short Story
$49.99
Beginning HTML with CSS and XHTML
$29.99
Morse Homology
$69.99
Pro SharePoint 2013 Branding and Responsive Web Development
$49.99
Alternative Wastewater Treatment
$219.99
Production Factor Mathematics
$39.99
Grand Challenge Problems in Technology-Enhanced Learning II: MOOCs and Beyond
$54.99
