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
Hong Kong Politics
$79.99
Algebra and Logic
$44.99
The Social Philosophy of Adam Smith
$54.99
Cancer Prevention, Detection, and Intervention
$54.99
Der galante Roman
$59.99
Coping with Life Crises
$169.99
Religionsfreiheit zwischen individueller Selbstbestimmung, Minderheitenschutz und Staatskirchenrecht
$115.00
Beginning Responsive Web Design with HTML5 and CSS3
$69.99
Hilbert Space Operators
$54.99
Kommunalverfassung
$79.99
Unbildsame Rohstoffe keramischer Massen
$84.99
Object-Oriented Analysis, Design and Implementation
$54.99
Psychologie der Weltanschauungen
$149.99
MRT-Atlas Orthopdie und Unfallchirurgie
$89.00
Thyroid Ultrasound and Ultrasound-Guided FNA
$44.99
Advances in Mucosal Immunology
$429.00
New Methods of Geostatistical Analysis and Graphical Presentation
$129.00
Auge
$44.99
Coherent Raman Spectroscopy
$109.99
Geriatrics for Specialists
$84.99
Optimal Transportation Networks
$44.99
Smart Nanostructure Materials and Sensor Technology
$109.99
Motivationspsychologie fr die Berufspraxis
$17.99
Bilingual Collection 3: Ages 6 Months-5 Years
$148.60
Homogeneous Transition-metal Catalysis
$54.99
Constructivism in Science Education
$109.99
Social Crime Prevention in the Developing World
$54.99
3D Video and Its Applications
$109.99
Relational Economics
$54.99
Investment Incentives and the Global Competition for Capital
$109.99
Mathematische Formeln fr Wirtschaftswissenschaftler
$24.99
Colonial Extraction and Industrial Steam Power, 17901880
$99.00
Improving Schools
$54.99
Fuzzy Optimization
$169.00
Stability and Control of Nonlinear Time-varying Systems
$179.99
Frontiers in Modeling and Control of Breathing
$219.99
Rethinking Popular Representation
$39.99
Neuere Entwicklungen in der Investitionsrechnung
$59.99
Microbial life on Faades
$84.99
Mobile Communications Safety
$129.00
