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
Durability of Reinforced Concrete from Composition to Protection
$109.99
Fatigue Management
$109.99
Infection Control in the Intensive Care Unit
$229.00
Graph-Based Representations in Pattern Recognition
$54.99
Computers and Control in Clinical Medicine
$39.99
Sarah Waters and Contemporary Feminisms
$79.99
Personalized Pathway-Activated Systems Imaging in Oncology
$169.99
Excel + VBA fr Controller
$39.99
Real Analytic and Algebraic Geometry
$34.99
Arguments, Stories and Criminal Evidence
$129.00
Verfahrensinstrumentarium zur Werkstckauswahl und Auslegung von Industrieroboterschweisystemen
$84.99
Convex Analysis and Its Applications
$109.99
Arnold Eucken
$69.99
Proteome Research
$109.99
Tides of Honour by Genevieve Graham
$16.99
Bioreaktoren und periphere Einrichtungen
$89.99
Literature and Intoxication
$39.99
Mechanical Characterization of Load Bearing Fibre Composite Laminates
$219.99
Ohne Gewhr
$44.99
Working Below Capacity
$69.99
Produktionslogistik/Produktionssteuerung kompakt
$17.99
Parlament und Gesellschaft
$59.99
Building Societies in the 1980's
$69.99
Mobile Wireless Middleware, Operating Systems and Applications
$54.99
Frdertechnik
$69.95
Grundlagen fr den Informatikeinsatz
$69.95
Redefining the Psychological Contract in the Digital Era
$179.99
Recent Developments in Condensed Matter Physics
$39.99
Genesis of the Financial Crisis
$39.99
National Geographic Pre-Reader Collection Grades PreK-K
$11.00
Gerste und Schalungen im konstruktiven Ingenieurbau
$109.00
Means of Hilbert Space Operators
$34.99
Scholastic First Picture Dictionary (Hardcover)
$12.74
Diagnosis in Otorhinolaryngology
$279.99
Spielt Gott Roulette?
$64.99
Innovationen in Ostdeutschland
$52.66
Ethical and Political Approaches to Nonhuman Animal Issues
$129.99
Tennessee Williams
$54.99
Evaluation Models
$169.00
Chemistry and Technology of Cyanate Ester Resins
$259.00
