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
Die Filterung der Atemluft und deren Bedeutung fr Staubkrankheiten
$59.99
Das Kommunikationszentrum Wuppertal die brse
$44.99
Libros Para Contar: Una Extraa Visita
$6.71
"Die kann ich nicht ab!" - Ablehnung, Diskriminierung und Gewalt bei Jugendlichen in der (Post-) Mi
$84.99
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge
$54.99
Imaging and Technology in Urology
$119.00
Erfolgreiche Organisationsentwicklung im Krankenhaus
$39.99
Common Chinese Materia Medica
$159.99
Developments in Injection Moulding3
$39.99
Inside Plea Bargaining
$109.99
Structure-Activity Relationships of Anti-Tumour Agents
$39.99
The Foundations of Defensive Defence
$54.99
Bioactive Lipid Mediators
$169.99
Tobacco
$39.99
Statistik im Versicherungs- und Finanzwesen
$37.99
Parametric and Semiparametric Models with Applications to Reliability, Survival Analysis, and Qualit
$169.99
Erythropoiesis
$99.00
Basic Mathematics for Biochemists
$54.99
From Creep Damage Mechanics to Homogenization Methods
$169.99
Polymer Brush Films with Varied Grafting and Cross-Linking Density via SI-ATRP
$54.99
Emerging Applications of Algebraic Geometry
$109.99
Right-Wing Extremism in Contemporary Germany
$54.99
Rhizobiology: Molecular Physiology of Plant Roots
$149.00
Teaching and Learning Stochastics
$199.99
Photochemische und thermische Umwandlungen einiger Colchicum-Alkaloide und ihrer Lumiverbindungen
$59.99
Sustainable Plant Nutrition under Contaminated Environments
$199.99
Weiterbildung und informelles Lernen lterer Arbeitnehmer
$49.99
Statistical Inference in Science
$39.99
How Do Dinosaurs Choose their Pets? (Hardcover)
$14.24
SolidWorks - kurz und bndig
$19.99
Febrile Neutropenia
$109.99
Global Mobile Satellite Communications Applications
$189.00
Demography and the Anthropocene
$54.99
Parallelization
$59.99
Bilanzierung nach HGB, US-GAAP und IAS im Vergleich
$59.99
Tunneling Field Effect Transistor Technology
$84.99
Environmental Chemistry
$109.99
Grundlagen der Naturwissenschaftsdidaktik
$39.99
Introduction to Fluorescence Sensing
$139.00
The Seventh Voyage (Hardcover)
$14.99
