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
Microbial and Biotechnological Interventions in Bioremediation and Phytoremediation
$169.99
Ada Lace Adventure: Ada Lace, On the Case
$5.21
Memphis, Martin, and the Mountaintop
$6.71
Mehr Bewegung im Arbeitsalltag
$24.99
Psychopharmakologie
$49.99
Kinder- und Jugendliteraturforschung 2001/2002
$49.99
Landscape and Vegetation Ecology of the Kakadu Region, Northern Australia
$169.99
PPS-Systeme
$54.99
Elemental Germans
$39.99
Versicherungsmagazin - Jahrgang 2019
$84.99
Going Sour
$9.99
Macromolecular Protein Complexes V
$229.99
The EU Comitology System in Theory and Practice
$39.99
Elefente y Cerdita: Un tipo grande se llev mi pelota! (Elephant & Piggie #19)
$4.49
Brandschutzfibel
$149.99
Foucaults Heterotopia in Christian Catacombs
$54.99
Micro and Nanomechanics, Volume 5
$169.99
Health and Wellbeing of India's Young People
$84.99
Thrombin
$39.99
British Foreign Policy in former Yugoslavia 19891999
$129.99
Radiationless Processes
$54.99
Stephen King Hard Case Crime Box Set by Stephen King
$44.99
Oscillations in Chemical Reactions
$39.99
Teachers of English Learners Negotiating Authoritarian Policies
$49.95
Foundations of Computer Science
$84.99
The Worrysaurus (Hardcover)
$12.74
Conflict and Youth Rights in India
$59.99
Bacterial Growth and Lysis
$219.99
Modeling Forest Trees and Stands
$109.00
Logic Programming '86
$39.99
Ultrasonic Tissue Characterization
$109.99
Challenges and Opportunities in the Digital Era
$39.99
Arroz con leche
$5.24
Dilemmas in Defence Decision-Making
$54.99
Die Experimentelle Ditetische Lebernekrose
$69.99
Kapazittsplanung bei moderner Fliefertigung
$59.99
Machine Learning for Cyber Security
$119.99
Edible Medicinal and Non-Medicinal Plants
$329.99
Quantitative Portfolio Optimisation, Asset Allocation and Risk Management
$379.99
Design and Analysis of Integrator-Based Log-Domain Filter Circuits
$129.00
