Vissa av webbplatsens funktioner begränsas av dina webbläsarinställningar (t.ex. privat läge). Byt surfläge för att kunna lägga artiklar i varukorgen.

Jag förstår

Software Verification And Formal Methods For Ml-Enabled Autonomous Systems 1

bokomslag Software Verification And Formal Methods For Ml-Enabled Autonomous Systems

Software Verification And Formal Methods For Ml-Enabled Autonomous Systems

Isac Omri Isac • Ivanov Radoslav Ivanov • Katz Guy Katz

Pocket

909:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

Pocket/Paperback 989:-

2022

Författare: Isac Omri Isac, Ivanov Radoslav Ivanov, Katz Guy Katz
Format: Pocket/Paperback
ISBN: 9783031212239
Språk: Engelska
Utgivningsdatum: 2022-12-16
Förlag: Springer Nature B.V.