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
Introducing Fortran 90
$54.99
Combinatorial Mathematics III
$34.99
Heizverfahren mit freier Flammen-Entfaltung
$54.99
Advances in Mathematical Modelling, Applied Analysis and Computation
$219.99
Physiologie des Menschen und der Sugethiere
$59.99
Der Mensch im digitalen Zeitalter
$49.99
China Satellite Navigation Conference (CSNC) 2019 Proceedings
$169.00
Vulnerability and Adaptation to Climate Change for Bangladesh
$109.99
Dramatizing Blindness
$119.99
Kjv Holy Bible, Personal Print Reference Bible, Thumb Indexed, 43,000 Cross References, Comfort Print- King James Version by Thomas Nelson
$44.99
Existence and Explanation
$169.99
Modern Analysis and Applications
$169.99
Las ondas de informacin
$4.46
Chlorophyll a Fluorescence
$329.99
Capacity Building in National Environmental Policy
$169.99
Nondestructive Evaluation of Semiconductor Materials and Devices
$39.99
Handbook on Project Management and Scheduling Vol. 2
$169.99
Einstellungen von Kindern gegenber Peers mit Frderbedarf
$59.99
Stabilising Capitalism
$54.99
Skin Care in Radiation Oncology
$119.99
Innere Sekretion
$59.99
Microbial Genomic Islands in Adaptation and Pathogenicity
$219.99
Wahrscheinlichkeitsrechnung und mathematische Statistik
$49.99
Philosophie asiatique/Asian philosophy
$219.99
The Biodiversity Observation Network in the Asia-Pacific Region
$169.99
Games, Norms and Reasons
$84.99
Lebenskunst im Alltag
$49.99
Proceedings of FORM 2022
$169.00
Spirits in Transcultural Skies
$54.99
The New Space Race: China vs. USA
$37.99
Combined Loadings in the Theory of Plasticity
$329.99
Urban Air Quality: Monitoring and Modelling
$109.99
Synthesis and Characterization of Glycosides
$84.99
Public Health Ophthalmology
$54.99
Geldanlage und Steuer 2000
$59.99
Topological Vector Spaces
$29.99
Atomic Physics of Highly Ionized Atoms
$54.99
Reconstruction of Political Economy
$74.99
Breeding in a World of Scarcity
$169.00
Advances in Intelligent Computing and Communication
$249.99
