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
Muslime in Deutschland
$44.99
Mathematical and Computational Analyses of Cracking Formation
$109.99
France, Britain and the United States in the Twentieth Century 1900 1940
$54.99
Gutachten des Reichs-Gesundheitsrats ber den Einflu der Ableitung von Abwssern aus der Chlorkaliu
$59.99
Teaching Peace and Conflict
$139.99
Migration and Belonging
$74.99
Belastungen und Bewegungen grovolumiger Seebauwerke durch Wellen
$59.99
Cultivating Reasonableness in Education
$139.00
Proteinase Inhibitors
$39.99
Investigation of Staged Laser-Plasma Acceleration
$109.99
Cooperative Control of Nonlinear Networked Systems
$109.99
The Economics of Forest Disturbances
$219.99
Elias Canetti in seiner Zeit
$64.99
Bioscience, Governance and Politics
$54.99
Somatopsychische Gynkologie
$59.99
Treasury Management
$59.99
Interpretation von Kapitalmarktreaktionen
$69.99
Biotechnological Applications of Cold-Adapted Organisms
$39.99
Software Development and Professional Practice
$39.99
Discovery Science
$54.99
Modern Trends in Magnetostriction Study and Application
$219.99
Migranten in der deutschen Politik
$37.99
Bounded Noises in Physics, Biology, and Engineering
$54.99
Problems in Syntax
$39.99
Role Transitions
$89.00
Beitrge zur Algebra und Geometrie 1
$49.99
Biocatalysis Based on Heme Peroxidases
$169.99
Benign Childhood Focal Seizures and Related Epileptic Syndromes
$64.99
System on Chip Design Languages
$169.99
Prospects for Security in the Mediterranean
$59.99
Die Schmierung von Dampfturbinen
$59.99
Festivals and Heritage in Latin America
$79.99
Signal Processing Techniques for Power Efficient Wireless Communication Systems
$129.99
Volume 9: Aesthetics and Philosophy of Art
$199.99
Preparative Organic Chemistry
$39.99
Dissipative Systems Analysis and Control
$219.99
Handbuch Frhe Griechische Philosophie
$19.99
Intersections of Gender, Class, and Race in the Long Nineteenth Century and Beyond
$169.99
Control Applications in Modern Power Systems
$249.99
A Course in Mathematical Physics 1 and 2
$109.99
