Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Model Checking Software

Model Checking Software

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031321573
Condition
New
Product Description

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 2627, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

Available Colors
Available Sizes
1 Offer Price Range: $44.99 - $44.99
BEST PRICE

Single Product Purchase

$44.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$44.99 $44.99

$44.99
See Site In stock Visit Store

Similar Products

Rough Sets and Current Trends in Computing

$84.99

Vertebrate Myogenesis

$169.99

Modernist Articulations

$39.99

Arbeitsmedizinische Studien in Nord-Amerika und Sd-Afrika

$59.99

Datenanalyse, Abstimmung und Entwicklung

$49.99

Neue und alte Infektionskrankheiten

$89.99

The Failed Rotator Cuff

$219.99

Weitere Anwendungen der Methode der LIE-Reihen

$59.99

Lead User Innovationen

$59.99

Zeitmanagement fr Entwicklungsbereiche im Maschinenbau

$39.99

Differential Equations and Dynamical Systems

$95.00

Economics and Preventing Healthcare Acquired Infection

$54.99

Harmonic Analysis on Reductive p-adic Groups

$29.99

Pharmacology of Hormonal Polypeptides and Proteins

$39.99

Leading an Academic Medical Practice

$69.99

Managing Digital Enterprise

$99.00

Computer Aided Design Modelling, Systems Engineering, CAD-Systems

$29.99

Webers Electrodynamics

$299.99

Kosovo

$59.99

Women, Science and Fiction

$84.99

Valuation of Human Capital

$59.99

Character Strengths and Abilities Within Disabilities

$159.99

Minimally Invasive Breast Biopsies

$169.99

Computergesttztes betriebliches Umweltinformationssystem

$59.99

Elektronenmikroskopische Methodik

$54.99

Televising History

$54.99

Pattern Recognition

$79.99

Chinas Road Ahead

$54.99

Domain-Specific Model-Driven Testing

$109.00

Paint By Sticker Kids: Outer Space

$8.07

Material Selections by a Hybrid Multi-Criteria Approach

$54.99

Soft Computing and Signal Processing

$249.99

The Classical Theory of Fields

$54.99

Physicochemical and Enzymatic Modification of Gums

$149.00

Purinergic Receptors and their Modulators

$229.00

Substance P and Neurokinins

$74.99

The Legal Status of the Caspian Sea

$139.99

Unternehmensbewertung

$29.99

Multiple Criteria Decision Methods and Applications

$54.99

Point-of-care testing

$129.00