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
Global Nuclear Developments
$129.99
The Construction Industry in the Fourth Industrial Revolution
$169.00
Regelungstheorie und Entscheidungsprozesse
$44.99
Lehrerprofessionalitt und die Qualitt von Mathematikunterricht
$64.99
Cells and Biomaterials for Intervertebral Disc Regeneration
$19.99
Telekooperation
$59.99
The Engineers Error Coding Handbook
$109.99
Sleep and its Disorders
$84.99
Report on China Smart Education 2022
$49.99
Field Theoretic Method in Phase Transformations
$109.99
Normal and Abnormal Development of the Cortex
$84.99
Chinas lndliche Gesellschaft im Umbruch
$69.95
Wie aus Ideen Prsentationen werden
$74.99
Grundlagen der Wahrscheinlichkeitsrechnung und Statistik sowie Anwendungen im Operations Research
$39.99
Advances in Tracer Methodology
$84.99
Psychiatrische Erkrankungen in der rztlichen Praxis
$69.99
Public Corporate Governance
$54.99
Biological nitrogen fixation in forest ecosystems: foundations and applications
$169.00
Creating Social Cohesion in an Interdependent World
$54.99
Systematisierung der Angebotsplanung im Rahmen des integrierten Informationsflusses der Unternehmen
$69.99
Natural Laminar Flow and Laminar Flow Control
$84.99
Designing Development
$19.99
Ronald Reagan and the Space Frontier
$37.99
Diversity and Benefits of Microorganisms from the Tropics
$169.99
Seismic Behaviour and Design of Irregular and Complex Civil Structures IV
$149.00
Quality and Reliability Management and Its Applications
$84.99
The Price of Precaution and the Ethics of Risk
$84.99
Strategic Approach in Multi-Criteria Decision Making
$159.99
Tourismus-und Umweltpolitik
$34.99
Ecology of Protozoa
$49.99
International Textbook of Aesthetic Surgery
$229.00
Equidosimetry
$84.99
Geographies, Genders and Geopolitics of James Bond
$19.99
Peripatetic Painting: Pathways in Social, Immersive, and Empathic Art Practice
$54.99
Organic Geochemistry
$129.00
EMV
$44.99
Percy Jackson & the Olympians: The Lightning Thief
$6.38
Colour Chemistry
$84.99
Louis Couturat -Trait de Logique algorithmique
$89.00
Tuck Everlasting by Natalie Babbitt
$9.99
