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

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

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

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 913, 2024. The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.

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

Single Product Purchase

$64.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
$64.99 $64.99

$64.99
See Site In stock Visit Store

Similar Products

Reading Irish-American Fiction

$54.99

Tourenplanung fr die Siedlungsabfallentsorgung

$64.99

Pro MERN Stack

$54.99

Chefsache Gesundheit I

$39.99

Water Insecurity and Water Governance in Urban Kenya

$39.99

Unternehmenserfolg durch Umweltschutz

$69.99

Proceedings of the FISITA 2012 World Automotive Congress

$129.00

Das organisationale Ikigai

$39.99

Symposium on the Theory of Numerical Analysis

$29.99

The Fragmentation of Yugoslavia

$39.99

Emerging Trends in Knowledge Discovery and Data Mining

$39.99

Linearperspektive

$69.99

Ocean Worlds

$159.99

Trends and Changes in Drug Research and Development

$84.99

Die Deutsche Arbeiterversicherung

$49.99

Fast Politics

$129.99

Belief Change

$59.99

Learn Computer Vision Using OpenCV

$54.99

Two Decades of Legislative Politics and Governance in Nigerias National Assembly

$139.99

General Equilibrium Option Pricing Method: Theoretical and Empirical Study

$84.99

Brain Death and Disorders of Consciousness

$259.00

Declaring War in Early Modern Europe

$54.99

Data Visualization in Enlightenment Literature and Culture

$99.99

Ready-To-Go 2 25 Book Classroom Library: Nonfiction, Grade 3

$125.00

Topics in the Mathematical Modelling of Composite Materials

$169.00

Risk Management auf spekulativen Mrkten

$59.99

Forensic Speaker Recognition

$219.99

Electronic Filters

$169.99

Charm in Literature from Classical to Modernism

$54.99

Thermische Solaranlagen

$74.99

Chaos, Complexity and Leadership 2018

$219.99

NonFiction Library Grades 7-8

$345.00

Das Leistungsvermgen der Wlzlager

$44.99

Georg Lukcs. Kultur, Kunst und politisches Engagement

$17.99

Clinical and Surgical Aspects of Congenital Heart Diseases

$129.99

Exchange Server 2000: Installieren - Konfigurieren - Administrieren - Optimieren

$54.99

Socioscientific Issues Focused Teacher Education

$119.00

Entwurf und Verwendung der Schmiedegesenke und Abgratstanzen

$59.99

Telomeres and Telomerase in Cancer

$219.99

Boiler Tube Failure Mechanisms

$169.99