Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • NASA Formal Methods
  • Bestand

Treffer: NASA Formal Methods

Titel:
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri
Beteiligt:
Rozier, Kristin Yvonne (Herausgeber); Chaudhuri, Swarat (Herausgeber)
Ausgabe:
1st ed. 2023
Veröffent­licht:
Cham : Springer Nature Switzerland, 2023
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XXIII, 490 Seiten) : 149 illus., 89 illus. in color.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 13903
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: NASA Formal Methods. - Cham : Springer Nature Switzerland, 2023. - ISBN 9783031331695
ISBN:
9783031331701 ; 3031331702 ; 978--303133169-5 (Sekundärausgabe) ; 978--303133171-8 (Sekundärausgabe)
DOI:
10.1007/978-3-031-33170-1

Zusatz-Informationen

Zusatz-Funktionen