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 $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021. The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 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
Experimental Techniques in Bioelectrochemistry
$109.99
Metabolic Interconversion of Enzymes 1975
$84.99
Proceedings of 6th International Conference on Civil Engineering and Architecture, Vol. 2
$219.99
Reliability of Steel Columns Protected by Intumescent Coatings Subjected to Natural Fires
$39.99
Taking Up Space
$6.74
Strategies for Quasi-Monte Carlo
$169.99
Short Views on Insect Genomics and Proteomics
$109.99
Blocks of Tame Representation Type and Related Algebras
$39.99
Adolescent Parenthood
$39.99
Towards the Implementation of the New Urban Agenda
$109.99
Late Modernity
$109.99
Behavioral Interventions with Brain-Injured Children
$109.99
Mathematische Grundlagen fr das Lehramtsstudium Physik
$29.99
Usborne Step-by-Step Drawing Book
$9.99
Womens Writing, Englishness and National and Cultural Identity
$54.99
Logic Programming and Nonmonotonic Reasoning
$79.99
Computational Modeling of Neural Activities for Statistical Inference
$54.99
Die Programmiersprache F
$69.99
Acoustics of the Seabed as a Poroelastic
$59.99
Representations of SL2(Fq)
$89.99
Memory Storage Patterns in Parallel Processing
$39.99
Probabilistic Symmetries and Invariance Principles
$219.99
Sustainable and Responsible Business in Africa
$169.99
ITSM for Windows
$54.99
Acoustic Emission
$199.99
Quaternary Environments
$54.99
The 2004 Elections to the European Parliament
$37.00
Frontiers of Fundamental Physics
$169.99
Italian Jewish Networks from the Seventeenth to the Twentieth Century
$159.99
Machine Learning for Networking
$89.99
Quick Guide Crypto Assets
$44.99
Software-Engineering mit APL2
$39.99
Ultimate Strength and Design of Reinforced Concrete Beams under Bending and Shear / Rsistance et di
$74.99
Agent-Oriented Software Engineering III
$39.99
Humanitarian Displacement and Boko Haram in Nigeria
$99.00
Musical Women in England, 1870-1914
$89.00
Electron Momentum Spectroscopy
$219.99
Precast Segmental Box Girders
$54.99
Gewaltfreiheit zwischen Anspruch und Realitt
$19.99
Inventory Management
$199.99
