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-11 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

    1119:-
  2. bokomslag Modern Aircraft Flight Control

    Modern Aircraft Flight Control

    Radoslav Stojic Miomir Vukobratovic

    Pocket

    2219:-
  3. bokomslag Systems, Signals and Image Processing

    Systems, Signals and Image Processing

    Radoslav Vargic Gregor Rozinaj

    Pocket

    1449:-
  4. bokomslag Smårätter med guldkant : plockmat, tilltugg och annat gott

    Smårätter med guldkant : plockmat, ti...

    Catarina König

    Danskband/flex

    159:-
  5. bokomslag A Internet como meio de comunicao e de partilha de conhecimentos

    A Internet como meio de comunicao e d...

    Borivoje Baltezarevic, Radoslav Baltezarevic, Vesna Baltezarevic

    Pocket

    1399:-
  6. bokomslag Nikola Tesla: Lectures and Patents

    Nikola Tesla: Lectures and Patents

    Radoslav Horvat Vojin Popovic

    Häftad

    599:-
  7. bokomslag Viral Marketing

    Viral Marketing

    Radoslav Baltezarevic Ivana Baltezarevic

    Pocket

    1419:-
  8. bokomslag Visionary Sustainable Development For The Metropolitan Area Of Bari

    Visionary Sustainable Development For...

    Radu Radoslav Felicia Raluca Pescar

    Pocket

    939:-
  9. bokomslag The Art of Communication in the Virtual World

    The Art of Communication in the Virtu...

    Borivoje Baltezarevic, Radoslav Baltezarevic, Olivera Milutinovic

    Pocket

    1419:-
  10. bokomslag Jonathan Livingston Seagull

    Jonathan Livingston Seagull

    Richard Bach

    Pocket

    129:-