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
Weltordnung in der Revision
$59.99
Lehrinnovationen in der Hochschulmathematik
$59.99
I. Die Struktur und die Eigenschaften der Halbmetalle. II. Die Bestimmung der Atomverteilung in amor
$59.99
Zwischen anarchistischer Fronde und revolutionrer Disziplin
$59.99
Analyse dynamischer Systeme in Medizin, Biologie und kologie
$69.99
Struggles for Reproductive Justice in the Era of Anti-Genderism and Religious Fundamentalism
$59.99
Ductal Carcinoma In Situ and Microinvasive/Borderline Breast Cancer
$109.99
Joining Processes
$169.99
Essentials of Bedside Cardiology
$99.00
Thermal Stress Resistance of Materials
$169.99
Literature the People Love
$54.99
Cardiac Arrhythmias 2003
$169.99
Expert Twisted
$54.99
Beckett, Deleuze and the Televisual Event
$39.99
BIM im Brcken- und Ingenieurbau
$37.99
Gehirn und Erfolg
$37.99
Integrative Aspects of Calcium Signalling
$219.99
Hollywood im journalistischen Alltag
$19.99
Elektroniksimulation mit PSPICE
$39.99
Anywhere-Anytime Signals and Systems Laboratory
$64.99
Das Beste der Logistik
$69.99
Handbuch Wahlforschung
$69.99
Artificial Intelligence in Cyber Security: Theories and Applications
$169.99
Bodies in Resistance
$109.99
Professionals Perspectives of Corporate Social Responsibility
$109.99
Studientechnik fr Betriebswirte
$54.99
Computer Vision ECCV 2024
$79.99
Rare Earth Minerals
$219.99
Chancen durch Dienstleistungen
$59.99
Springer Tracts in Modern Physics
$39.99
Varicella-Zoster Virus Epithelial Keratitis in Herpes Zoster Ophthalmicus
$79.99
Youth in Putin's Russia
$169.99
Advances in Computational Intelligence and Communication Technology
$189.00
The Year of Intelligence in the United States
$119.99
Social Economy of France
$74.99
Behavioral Program Synthesis with Genetic Programming
$109.99
Personal Knowledge Management, Leadership Styles, and Organisational Performance
$54.99
Advances in Hurricane Risk in a Changing Climate
$179.99
Pressure Injury, Diabetes and Negative Pressure Wound Therapy
$139.99
Computer Simulation Studies in Condensed Matter Physics III
$109.99
