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
Constructing Global Civil Society
$54.99
Nachhaltige Entwicklung im Personenverkehr
$89.99
Peptide Hybrid Polymers
$169.00
Fertility, Living Arrangements, Care and Mobility
$84.99
Beurteilung der Hochschuleffizienz mittels Data Envelopment Analysis (DEA)
$54.99
Liberal Multiculturalism and the Fair Terms of Integration
$54.99
Twelve is a Dozen
$3.71
Abwassertechnik
$39.99
Endoscopy of the Spine
$249.99
Smart Biomaterials
$129.99
Einfhrung in die Programmiersprache SIMULA
$59.99
In der Sprache der Tter
$59.99
Subsampling
$99.00
Hypersonic Curved Compression Inlet and Its Inverse Design
$249.99
Non-Linear Growth
$129.99
Services Offshoring and its Impact on the Labor Market
$169.99
Organic Molecules on Surfaces
$109.99
Islam Meinungsfreiheit Internet
$99.00
Positive Psychology in Second and Foreign Language Education
$109.00
From Instability to Intelligence
$74.99
Theorie und Anwendung des Lasers
$59.99
MySQL Concurrency
$69.99
Nuclear Submarine Decommissioning and Related Problems
$219.99
Existenzphilosophie
$17.99
Employability via Higher Education: Sustainability as Scholarship
$169.99
The Theory and Practice of Islamic Terrorism
$54.99
The Care and Management of Spinal Cord Injuries
$54.99
Reconnection
$84.99
Depressive Syndrome im Kindes- und Jugendalter
$59.99
Sociology in Poland
$54.99
Fundamentals of Tensor Calculus for Engineers with a Primer on Smooth Manifolds
$159.99
Formation and Crust-Mantle Geodynamic Processes of the Neoarchean K-rich Granitoid Belt in the South
$169.99
Energy Optimization and Prediction in Office Buildings
$54.99
Hand und Arm
$44.99
Mysticism and the Mid-Century Novel
$54.99
Handbook of Effective Psychotherapy
$84.99
Semantic Web and Education
$89.00
SUCCESSION FOR CHANGE
$37.99
Friedrich Kittler. Neue Lektren
$69.99
Die Norm der Nchtern-Blutzuckerwerte beim Menschen
$54.99
