Direkt zum Inhalt
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (Lecture Notes in Computer Science, 13903, Band 13903)

AKTUELLE PARTNERANGEBOTE

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (Lecture Notes in Computer Science, 13903, Band 13903)

Binding : Taschenbuch, Edition : 1st ed. 2023, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 513, publicationDate : 2023-06-03, releaseDate : 2023-06-03, publishers : Rozier, Kristin Yvonne, Swarat Chaudhuri, ISBN : 3031331699

1 Angebote · ab 101,54 € gemeldete Gesamtkosten