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
Thermal Stress and Strain in Microelectronics Packaging
$169.99
Kooperation als Wettbewerbsstrategie fr Dienstleistungsunternehmen
$74.99
Emotional Life and the Politics of Welfare
$109.99
Studies on Alzheimer's Disease
$129.00
Redeploying Urban Infrastructure
$79.99
Industrial Engineering in the Age of Business Intelligence
$249.99
Radionuclide Ventricular Function Studies
$39.99
Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. II)
$219.99
Arbeitswert, Mehrwert und Verteilung
$59.99
Stoffwechsel der isoliert perfundierten Leber
$69.99
Integriertes Benchmarking
$69.99
Manifestations of Reason: Life, Historicity, Culture Reason, Life, Culture Part II
$169.00
Philosophy of African American Studies
$79.99
Exotische Krankheiten
$44.99
International Handbook of Earthquake Engineering
$189.00
Statistical Modeling and Simulation for Experimental Design and Machine Learning Applications
$199.99
The Hunt for Alien Life
$34.99
Leitfaden fr Intrahospitaltransporte
$17.99
Genetic Programming
$54.99
Akzeptanz in der Medien- und Protestgesellschaft
$39.99
Practical Management of Thyroid Cancer
$199.99
Flexible Montagesysteme-Konzeption und Feinplanung durch Kombination von Elementen
$69.99
IoT Sensor-Based Activity Recognition
$169.99
Data Engineering and Intelligent Computing
$169.00
Die Normierung der Abschreibung in Handels- und Steuerbilanz
$59.99
Challenging Discriminatory Practices of Religious Socialization among Adolescents
$54.99
Produktion und Lebensverhltnisse auf dem Land
$59.99
Understanding Wittgenstein
$74.99
Coping with Life Crises
$169.99
Pricing Derivatives Under Lvy Models
$69.99
Calorimetry for Collider Physics, an Introduction
$79.99
Rechnungslegung der Unternehmen und Kapitalmarkt aus informationskonomischer Sicht
$59.99
Graph Drawing
$39.99
Finalization in Science
$249.99
Friedrich Wilhelm Sertrner
$34.99
Ethnobotany and Biocultural Diversities in the Balkans
$169.99
Analog Behavioral Modeling with the Verilog-A Language
$149.00
Bavaria and German Federalism
$169.99
C++20 Recipes
$54.99
Dreaming and Memory: Philosophical Issues
$119.99
