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
Extramural English in Teaching and Learning
$99.99
Understanding Human Development
$179.99
The Ecology of Aggression
$84.99
Theoretische Elektrotechnik und Elektronik
$54.99
Das Neue Deutsche Wirtschaftsrecht
$59.99
International Weather Radar Networking
$169.99
Agricultural Biodiversity and Biotechnology in Economic Development
$219.99
Grundri der Sinnesphysiologie
$54.99
Biopsychosocial Perspectives on Transplantation
$109.99
Integrating Cognitive and Rational Theories of Foreign Policy Decision Making
$39.99
Coherent Optical Interactions in Semiconductors
$129.00
Progress in Location-Based Services 2014
$84.99
Transactions on Engineering Technologies
$219.99
Information and Communication Technologies in Education, Research, and Industrial Applications
$39.99
Molecular Basis of Chronic Myeloproliferative Disorders
$109.99
State Investment Companies in Western Europe
$44.99
Bioelectrochemical Systems
$109.99
Mac B, Kid Spy: The Sound of Danger (Hardcover)
$9.74
Molecular and Applied Aspects of Oxidative Drug Metabolizing Enzymes
$169.99
Theoretical and Empirical Studies on Cooperatives
$54.99
Specific Intermolecular Interactions of Organic Compounds
$169.99
Versuche ber das Verhalten von geschweiten Trgern unter oftmals wiederholter Belastung
$54.99
Epiduralansthesie bei Kindern und lteren Patienten
$69.99
Indexation and Causation of Financial Markets
$54.99
Comprehensive Virology
$54.99
Hegel in the Arab World
$59.99
Complexity in Financial Markets
$109.99
Chinese Handicrafts
$159.99
Galois Theory
$74.95
HIV/AIDS and the Threat to National and International Security
$109.99
Oil Privatization, Public Choice and International Forces
$69.99
Elektrizittszhler. Tarifgerte, Mewandler, Schaltuhren
$44.99
Neuron-Glia Interaction in Neuroinflammation
$199.99
BOB Books: More Beginning Readers Workbook
$9.74
Process Management and Organizational Process Maturity
$109.00
The Universality of Physics
$109.99
Serial Rings
$39.99
Pattern Detection and Discovery
$39.99
Advanced Concepts for Intelligent Vision Systems
$54.99
Wage Control and Inflation in the Soviet Bloc Countries
$44.99
