Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.015,95 kr.

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

Vis mere

Sprog:
Engelsk

ISBN:
9783030763831

Forlag:
Springer Nature Switzerland AG

Indbinding:
Paperback

Sideantal:
402

Udgivet:
17. maj 2021

Udgave:
12021

Størrelse:
155x235x0 mm.

Vægt:
640 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 2. december 2024

På lager

Normalpris

BLACK NOVEMBER
1.015,95 kr. + Fragt
~~1.015,95 kr.~~

Medlemspris

965,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af 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.

Brugerbedømmelser af NASA Formal Methods

Andre købte også..

Find lignende bøger

Bogen NASA Formal Methods findes i følgende kategorier:

Business og læring

NASA Formal Methods - Bog

Beskrivelse af NASA Formal Methods

Brugerbedømmelser af NASA Formal Methods

Gør som tusindvis af andre bogelskere