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
Synthetic Substrates in Clinical Blood Coagulation Assays
$109.99
Visual Basic and Visual Basic .NET for Scientists and Engineers
$34.95
Rhetorics of Welfare
$109.99
The Corporate Economy
$39.99
Imaging Sunlight Using a Digital Spectroheliograph
$44.99
Leveraging
$84.99
Handbook of CALL Teacher Education and Professional Development
$229.00
Anglo-Indian Identity
$139.99
Anansi the Spider
$6.71
Grundgesetz und Interessenverbnde
$59.99
Proceedings of CEE 2019
$169.99
Black Women's Wellness: Your "I've Got This!" Guide to Health, Sex, and Phenomenal Living by Melody T. McCloud Md
$26.99
Netzwerke als aufstiegsrelevanter Faktor fr Frauen in Fhrungspositionen- gibt es branchenspezifisc
$49.99
The Witching Wind (Hardcover)
$13.49
Soil and Water Quality at Different Scales
$169.99
Social Computing and Behavioral Modeling
$169.99
Auenhandel und Technologie
$59.99
Pdagogische Jugendforschung
$59.99
Positive Psychology Perspectives on Foreign Language Learning and Teaching
$119.00
The Language of Ethics and Community in Graham Greenes Fiction
$54.99
The Economics of Tax and Social Security in Japan
$79.99
Principles of Health Interoperability
$69.99
Advancements of Mass Spectrometry in Biomedical Research
$109.00
Knowledge Representations for Planning Manipulation Tasks
$109.99
Seemannschaft und Schiffstechnik
$39.99
Zur Gte linearer Entscheidungsregeln in Produktions-Lagerhaltungs-Modellen
$59.99
Vermittlung emotionaler Erlebniswerte
$48.00
Matters for Judgment: An Autobiography
$99.00
Chemistry and Analysis of Volatile Organic Compounds in the Environment
$39.99
Cell Biology and Translational Medicine, Volume 14
$179.99
Qualitt durch Kooperation
$119.99
Dual Variational Approach to Nonlinear Diffusion Equations
$139.99
Power Semiconductors
$109.99
Passion and Entrepreneurship
$109.99
Willem Einthoven (18601927) Father of electrocardiography
$54.99
Conceptual Structures: Leveraging Semantic Technologies
$39.99
Visible and Invisible
$37.99
Urea Cycle Diseases
$84.99
Qualitative Sekundranalysen
$74.99
Low Fertility and Population Aging in Japan and Eastern Asia
$64.99
