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
Das Gesetz bin ich
$69.99
Die Therapie des praktischen Arztes
$59.99
Der Strmungseinflu auf den Wellenwiderstand von Schiffen
$59.99
Study on Magnetohydrodynamic Turbulence and Its Astrophysical Applications
$84.99
FinTech Women Walk the Talk
$29.99
Fallstudien aus dynamischen Mrkten
$39.99
Nichtlineare Regelungssysteme
$69.99
Human Modelling in Assisted Transportation
$139.00
Constructive Processing of Microwave and Optical Data for Hydrogeochemical Applications
$149.00
Der Rhythmus der Innovation
$49.99
Telerehabilitation
$119.99
Modelle fr Rechensysteme
$109.99
Determinanten der Sportrezeption
$79.99
Service-Oriented Computing
$84.99
Compiler Construction
$39.99
Computational Mechanisms of Au and Pt Catalyzed Reactions
$329.99
2nd Karl Schwarzschild Meeting on Gravitational Physics
$109.99
Spacecraft Thermal Control Technologies
$249.99
Mathematics and Mechanics - The Interplay
$179.99
Orbital Tumors
$89.00
Robots and Art
$199.99
Kompendium der koronaren Herzkrankheit
$69.99
Neural Network Methods for Natural Language Processing
$69.99
Hurricane Disaster
$5.21
Die Anwendbarkeit von ZrO2-Y2O3-, ZrO2 - CaO - und ThO2 - Y2O3 - Festelektrolyten bei 1000 bis 1600
$54.99
Microglia in the Regenerating and Degenerating Central Nervous System
$169.99
Joseph Conrad and Popular Culture
$54.99
Prfungsspecial fr Bankkaufleute
$17.99
Algorithms in Bioinformatics
$109.99
Selberg Zeta Functions and Transfer Operators
$69.99
Dynamics of Big Internet Industry Groups and Future Trends
$54.99
Bond Graph Methodology
$219.99
Internationales Management im Umbruch
$74.99
Numerische Strmungsmechanik
$39.99
Novel Polymeric Biochips for Enhanced Detection of Infectious Diseases
$54.99
Die Vermessung des Eisernen Vorhangs
$44.99
Die Grundlagen der Verkehrswirtschaft
$44.99
Wahrnehmungspsychologie
$59.99
Synthese der Kohlenstoffverbindungen
$84.99
Ubiquitous Security
$109.99
