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

899:-

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:

  • 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.

Du kanske gillar

  1. bokomslag Software Verification and Formal Methods for ML-Enabled Autonomous Systems

    Software Verification and Formal Meth...

    Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

    Pocket

    989:-
  2. bokomslag Systems, Signals and Image Processing

    Systems, Signals and Image Processing

    Radoslav Vargic Gregor Rozinaj

    Pocket

    1139:-
  3. bokomslag Modern Aircraft Flight Control

    Modern Aircraft Flight Control

    Radoslav Stojic Miomir Vukobratovic

    Pocket

    1649:-
  4. bokomslag Nikola Tesla: Lectures and Patents

    Nikola Tesla: Lectures and Patents

    Radoslav Horvat Vojin Popovic

    Häftad

    609:-
  5. Ny
    bokomslag Por detrs da cortina dos media

    Por detrs da cortina dos media

    Vesna Baltezarevic, Radoslav Baltezarevic, Borivoje Baltezarevic

    Pocket

    1209:-
  6. Ny
    bokomslag Derrire le rideau mdiatique

    Derrire le rideau mdiatique

    Vesna Baltezarevic, Radoslav Baltezarevic, Borivoje Baltezarevic

    Pocket

    1209:-
  7. Ny
    bokomslag Dietro la cortina dei media

    Dietro la cortina dei media

    Vesna Baltezarevic, Radoslav Baltezarevic, Borivoje Baltezarevic

    Pocket

    1209:-
  8. Ny
    bokomslag Hinter dem Medienvorhang

    Hinter dem Medienvorhang

    Vesna Baltezarevic, Radoslav Baltezarevic, Borivoje Baltezarevic

    Pocket

    1209:-
  9. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  10. Hitster 2 - Förläng Festen

    Hitster 2 - Förläng Festen

    Spel, Hitster

    Personalens favorit!

    299:- (349:-)