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
Rhodes Framework for Android Platform and BlackBerry Smartphones
$39.99
Corporate Taxation in the Netherlands Antilles
$54.99
A Court of Silver Flames A Court of Thorns and Roses Series #4 by Sarah J. Maas
$30.00
Dynamic Travel Choice Models
$39.99
The Learning and Development of Mathematics Teacher Educators
$119.00
Bringing Skepticism to Crop Science
$39.99
Handbuch des geltenden ffentlichen und Brgerlichen Rechts
$59.99
Quantum-Enhanced Nonlinear Spectroscopy
$109.99
Immunology of Fungal Infections
$249.99
Finanzierungspraxis von Biogasanlagen in der Landwirtschaft
$64.99
Graded Ferroelectrics, Transpacitors and Transponents
$109.99
Acid Rain Economic Assessment
$54.99
Edward Cordell and the Discovery of Cordell Bank
$109.99
Design of Incentive Systems
$109.99
Partnerships in International Policy-Making
$84.99
The Secrets of Droon: #2 Journey to the Volcano Palace
$3.74
Grundzusammenhnge der Elektrotechnik
$9.99
Security Interests in Intellectual Property
$119.99
On Intuitionistic Fuzzy Sets Theory
$169.99
Academic Integrity: Broadening Practices, Technologies, and the Role of Students
$169.99
Contemporary British Autoethnography
$49.99
Embryology and the Rise of the Gothic Novel
$129.99
Information and Communication Technologies for Ageing Well and e-Health
$54.99
The Syntax and Semantics of Split Constructions
$84.99
Asymptotic Modeling of Atmospheric Flows
$89.00
Tests and Proofs
$54.99
Integrated Computational Life Cycle Engineering for Traction Batteries
$159.99
Mobile Information Service for Networks
$84.99
T'ang China
$109.99
Big Data Analytics
$54.99
Gynecological Cancers
$109.99
Sprachkritik und Erzhlstruktur. Studien zu Kafkas Poetik
$79.99
Mathematische Logik - kurzgefasst
$29.99
Frontiers in Robotics and Electromechanics
$199.99
High Mountain Conservation in a Changing World
$59.99
Higher Education in the Arab World
$109.99
I SPY Little Bunnies
$5.24
Sensor-Based Robots: Algorithms and Architectures
$109.99
Marketing und Gesellschaft
$59.99
Orthopedics for Physician Assistant and Nurse Practitioner Students
$39.99
