Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
NASA Formal Methods
- 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings
- Bindende:
- Paperback
- Sider:
- 402
- Utgitt:
- 17 mai 2021
- Utgave:
- 12021
- Dimensjoner:
- 155x235x0 mm.
- Vekt:
- 640 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 15 oktober 2024
Beskrivelse 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.
Brukervurderinger av NASA Formal Methods
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken NASA Formal Methods finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Bokreolen.no
