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
African Industry in Decline
$109.99
Reviews in Frontiers of Modern Astrophysics
$139.99
Die Sprachlaute
$59.99
Safety-Critical Real-Time Systems
$109.99
Satellitennavigation
$99.00
Immigrant and Refugee Voices Grades 6-8
$56.00
Dienstleistung und Produktion
$29.99
Experimentelle Untersuchungen zur Verbrennung an Turbinengittern
$59.99
Studium Beruf Karriere
$59.99
Best New Books for Grade 4
$126.27
Producing Artificial Intelligent Systems
$169.99
Projektmanagement in der Automobilindustrie
$34.99
Exploring the Health State of a Population by Dynamic Modeling Methods
$99.99
Versuche zur Krperschalldmmung in Gebuden
$54.99
Strategic Outsourcing
$54.99
Thesis Writing for Master's and Ph.D. Program
$119.00
Biomedical Image Registration
$54.99
Early Trauma as the Origin of Chronic Inflammation
$37.99
The Existential Phenomenology of Simone de Beauvoir
$109.99
The Quest for the New Jerusalem, Jean de Labadie and the Labadists, 16101744
$219.99
Global Goods and the Spanish Empire, 1492-1824
$129.99
Christian Beliefs about Life after Death
$54.99
Database Programming Languages
$54.99
Extremum-Seeking Control and Applications
$109.99
Towards Analytical Techniques for Optimizing Knowledge Acquisition, Processing, Propagation, and Use
$129.99
White Matter Diseases
$129.99
Oncodermatology
$219.99
Serological Cancer Markers
$169.99
The Legal Technology Guidebook
$39.99
Ergebnisse der Biologie
$59.99
Freigegebene und nicht freigegebene Arzneimittel
$59.99
Das Kommunikationsmanagement von Werbeagenturen
$59.99
VLSI Physical Design: From Graph Partitioning to Timing Closure
$69.99
Industry, University and Government Partnerships for the Sustainable Development of Knowledge-Based
$99.99
Economic Growth and Development Policy
$119.99
Overlooking Conventions
$69.99
Bright Baby: First Words
$3.74
A Nizrana Farook Adventure: The Boy Who Met a Whale
$7.46
Graph Drawing and Network Visualization
$89.99
Elektrotechnik und Elektronik
$34.99
