Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2
- 2
- Erscheinungsjahr
-
- 2
- 2
- Autoren
-
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 3
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 3
- 3
- 1
- 1
- 2
- 3
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 3
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 3
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- Verlag
-
- 2
- 2
- Preis
-
- 2
- 2
- Sprachen
-
- 4
- Verfügbarkeit
-
- 4
- Katalog
-
- 4
Artikel pro Seite:
Sortierung nach:
-
Deshmukh / Havelund / Perez NASA Formal Methods
14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-06772-3Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deshmukh / Havelund / Perez NASA Formal Methods
14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, ProceedingsErscheinungsjahr 2022Verlag: Springer International PublishingISBN: 978-3-031-06773-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark128,39 € (inkl. MwSt.)
sofort verfügbar128,39 € (inkl. MwSt.)
sofort verfügbar -
Dutle / Moscato / Titolo NASA Formal Methods
13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-76384-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark90,94 € (inkl. MwSt.)
sofort verfügbar90,94 € (inkl. MwSt.)
sofort verfügbar -
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 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Artikel pro Seite:
Sortierung nach:
vorherige Seite
nächste Seite
Artikel pro Seite:
Sortierung nach:
Bitte ändern Sie das Passwort