
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
