Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
NASA Formal Methods - Bog
- 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings
- Indbinding:
- Paperback
- Sideantal:
- 402
- Udgivet:
- 17. Maj 2021
- Udgave:
- 12021
- Størrelse:
- 155x235x0 mm.
- Vægt:
- 640 g.
- 2-3 uger.
- 19. Oktober 2024
På lager
Normalpris
Medlemspris
Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.
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
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen NASA Formal Methods findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Tales.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
