Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. NASA Formal Methods

NASA Formal Methods

- 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings

del av Programming and Software Engineering-serien

NASA Formal Methods
Om NASA Formal Methods

Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030763831
  • Format:
  • Häftad
  • Sidor:
  • 402
  • Utgiven:
  • 17 Maj 2021
  • Utgåva:
  • 12021
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 640 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 23 Oktober 2024

Beskrivning av NASA Formal Methods

Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.

Användarnas betyg av NASA Formal Methods



Andra köpte även...
Hitta liknande böcker
Boken NASA Formal Methods finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.