Association for Computing Machinery

Formal Methods for Safe Autonomy: Data driven Verification, Synthesis, and Applications (ACM Books)

Name: Formal Methods for Safe Autonomy: Data driven Verification, Synthesis, and Applications (ACM Books)
Brand: Association for Computing Machinery
SKU: 600455cfdd860b11dbd4e2015bc33318
Price: 56.1 EUR
Availability: InStock

1/1

Abbildung von Formal Methods for Safe Autonomy: Data driven Verification, Synthesis, and Applications (ACM Books)

Amazon

Preise von

56,10

Gesponserte Links

	56,10 €	Zum Shop
ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Formal Methods for Safe Autonomy: Data driven Verification, Synthesis, and Applications (ACM Books)

Webshops vergleichen (1)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

56,10 € 2,45 € Versandkosten Gesamt 58,55 €

Beschreibung (0)

Formal Methods for Safe Autonomy: Data driven Verification, Synthesis, and Applications (ACM Books)

Produktspezifikationen

Marken	Association for Computing Machinery
EAN	9798400708633

Springer, Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation....

53,90 €

Weitere Informationen Mehr Infos

Leveraging Applications of Formal Methods, Verification and Validation....

53,90 €

Weitere Informationen Mehr Infos

Springer

Leveraging Applications of Formal Methods, Verification and Validation. Software

70,61 €

Weitere Informationen Mehr Infos

Springer, Springer International Publishing

Leveraging Applications of Formal Methods, Verification and Validation: Discussi

53,49 €

Weitere Informationen Mehr Infos

Hervorgehobene Wahl

56,10 €

Zum Shop

Jetzt beliebt

Kategorien

Beliebte Kategorien

Marken

Verkäufer

Beliebte Kategorien

Formal Methods for Safe Autonomy: Data driven Verification, Synthesis, and Applications (ACM Books)

Beschreibung

Produktspezifikationen