Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback

€ 74,00
+ € 8,49 Versand

Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback

  • Marke: Unbranded
  • product image
Softwareverifikation und formale Methoden für ML-fähige autonome Systeme Taschenbuch

Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback

  • Marke: Unbranded
Preis: € 74,00
Verkauft von:
€ 74,00
+ € 8,49 Versand

Nur noch 1 auf Lager

Wir akzeptieren die folgenden Zahlungsmethoden

Beschreibung

Dieses Buch stellt den begutachteten Tagungsband des 5. Internationalen Workshops zu Softwareverifikation und formalen Methoden für MLEnables Autonomous Systems FoMLAS 2022 und des 15. Internationalen Workshops zur numerischen Softwareverifikation NSV 2022 dar, der im Juli 2022 in Haifa, Israel, stattfand.
  • Marke: Unbranded
  • Kategorie: Computer und Internet
  • Format: Taschenbuch
  • Verlag / Label: Springer International
  • Länge: 205
  • Sprache: Englisch
  • Erscheinungsdatum: 16.12.2022
  • Fruugo-ID: 413633815-874147860
  • ISBN: 9783031212215

Lieferung und Rückgaben

Versand innerhalb von 24 Stunden

  • STANDARD: € 8,49 - Lieferung zwischen Mi. 01 Oktober 2025–Di. 07 Oktober 2025

Versand von Vereinigtes Königreich.

Wir tun unser Bestes, um dafür zu sorgen, dass die von Ihnen bestellten Produkte vollständig und gemäß Ihrer Spezifikationen an Sie geliefert werden. Wenn Sie allerdings eine unvollständige Bestellung oder Artikel erhalten, die sich von den bestellten unterscheiden, oder es einen anderen Grund gibt, warum Sie mit Ihrer Bestellung nicht zufrieden sind, können Sie die gesamte Bestellung oder einzelne darin enthaltenen Produkte zurücksenden und eine vollständige Rückerstattung für die Artikel erhalten. Vollständige Rückgaberichtlinie ansehen