Ergebnisse filtern
-
- 3
-
- 1
- 1
- 1
-
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
-
- 3
-
- 2
- 1
-
- 3
-
- 3
-
- 3
Mathematik | Informatik
-
Dutle / Muñoz / Narkawicz NASA Formal Methods
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-77934-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dutle / Humphrey / Titolo NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93705-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dutle / Moscato / Titolo NASA Formal Methods
13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-76383-1Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort