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

Kundenbindung der Zielgruppe 50plus im Internethandel

$79.99

Strategies of Authoritarian Survival and Dissensus in Southeast Asia

$119.00

Verification of Business Rules Programs

$54.99

Acute Gastrointestinal Bleeding

$84.99

The Legacy of Punishment in International Law

$54.99

Regulation of Agricultural Biotechnology: The United States and Canada

$129.00

The Visual Music Film

$159.99

Der Anaesthesist in der Geburtshilfe

$69.99

Shakespeare and Consciousness

$139.99

British Archives

$109.99

China Satellite Navigation Conference (CSNC) 2013 Proceedings

$219.99

Flavours and Fragrances

$149.00

Beitrag zur Kenntnis der Feldspte der Tessiner Pegmatite

$59.99

Quantum Plasmonics

$179.99

The (Peculiar) Economics of NCAA Basketball

$39.99

Random Destinations

$49.99

The Empowered Investor

$29.99

Wirtschaftsmathematik fr Studium und Praxis 1

$29.99

Unconstrained Face Recognition

$109.99

Meinungsbildung in der Mediengesellschaft

$59.99

Fuzzy Logic and Applications

$54.99

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design

$139.00

Securing the Perimeter

$69.99

The Filaria

$84.99

Hypothalamic Control of Lactation

$84.99

Die Kunst der Politik

$49.99

Peptidomics

$299.99

ffentlicher Personennahverkehr

$74.99

Leistungsgerechte Entlohnung

$59.99

Proteomics in Systems Biology

$219.99

Neue Verfahren in der Technik der chemischen Veredlung der Textilfasern

$54.99

Braids and Self-Distributivity

$84.99

Management Accountability and Corporate Governance

$59.99

Vision Zero for Sustainable Road Safety in Baltic Sea Region

$169.99

Environmental Soil Remediation and Rehabilitation

$169.99

Zwischen berwachung und Repression Politische Verfolgung in der DDR 1971 bis 1989

$59.99

Shape Detection in Computer Vision Using the Hough Transform

$54.99

Advances in The Human Side of Service Engineering

$169.99

Leadership trendresistent gedacht

$39.99