Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Model Checking Software
Best Price (Coupon Required):
Buy Model Checking Software for $76.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
50plus in Deutschland und Europa
$49.99
Philosophisches Wrterbuch
$59.99
Pearl Harbor Revisited
$109.99
Vegetation Dynamics
$39.99
Tiergesttzte Therapie mit Hunden
$29.99
Traditionelle Chinesische Medizin im Fokus
$29.99
Mineral Micro-Geochemistry Constraints on Petrogenesis and Genesis of Gold Deposit
$129.00
Dreaming Culture
$39.99
Interne Organisationskommunikation und agile Rationalitt
$74.99
Healing and Change in the City of Gold
$54.99
Globalization and National Economic Welfare
$84.99
Atomic and Nuclear Clusters
$84.99
Race and Morality
$84.99
The Aesthetics and Politics of Global Hunger
$84.99
Empirical Modeling of Exchange Rate Dynamics
$54.99
Reflexionswissen zur linearen Algebra in der Sekundarstufe II
$59.99
Managing the Olympics
$129.99
Frauen, Politik und Medien
$39.99
Elephant & Piggie Like Reading: The Cookie Fiasco (#1)
$5.21
Theorie chemischer Elementarprozesse
$69.99
Dialectic of Enlightenment in the Anglosphere
$109.99
The Biology of Trypanosomes
$84.99
Neurodevelopmental Disabilities
$129.00
Supply Chain Coordination in Case of Asymmetric Information
$54.99
Navigating Community Development
$32.99
Recent Developments in High-Speed Transport
$199.99
Das Existenzgrndungs-Kompendium
$39.99
Zwischen Hollywood und Bollywood
$59.99
Art of Coloring: The National Parks Book National Geographic Official shopDisney
$16.99
Travel in Towns
$59.99
Lehrbuch der rntgendiagnostischen Einstelltechnik
$49.99
Recent Developments on Genus Chaetomium
$129.00
Ausgrenzung macht krank
$69.99
Behinderung und Migration
$59.99
Introducing Algorithms in C
$44.99
Relational Autonomy and Family Law
$54.99
Post-Punk, Politics and Pleasure in Britain
$24.99
Steuern in der Preispolitik und bei der Preiskalkulation
$59.99
Automata, Languages and Programming
$84.99
Corporate Culture Practices of German Corporations in the Host Country Indonesia
$54.99
