NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Cham: Springer International Publishing, Imprint: Springer, 2019
Online
Konferenzschrift, Sammelwerk, Elektronische Ressource
- 1 Online-Ressource (XXI, 392 p. 372 illus., 58 illus. in color)
Ermittle Ausleihstatus...
Titel: |
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
|
---|---|
Verantwortlichkeitsangabe: | edited by Julia M. Badger, Kristin Yvonne Rozier |
Autor/in / Beteiligte Person: | Badger, Julia M. ; Rozier, Kristin Yvonne |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Cham: Springer International Publishing, Imprint: Springer, 2019 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Elektronische Ressource |
Umfang: | 1 Online-Ressource (XXI, 392 p. 372 illus., 58 illus. in color) |
ISBN: | 9783030206529 |
DOI: | 10.1007/978-3-030-20652-9 |
Schlagwort: |
|
Sonstiges: |
|