Ergebnisse filtern
-
- 3
- 2
-
- 3
- 2
-
- 2
- 2
- 5
- 2
-
- 3
- 1
- 1
-
- 1
- 4
-
- 5
-
- 5
-
- 5
-
Fan Formal Methods for Safe Autonomy
Data-driven Verification, Synthesis, and ApplicationsErscheinungsjahr 2024Verlag: Association for Computing MachineryISBN: 979-8-4007-0865-7Medium: Buch86,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fan Formal Methods for Safe Autonomy
Data-driven Verification, Synthesis, and ApplicationsErscheinungsjahr 2024Verlag: Association for Computing MachineryISBN: 979-8-4007-0864-0Medium: eBookFormat: EPUB
Kopierschutz: 0 - No protection41,99 € (inkl. MwSt.)
sofort verfügbar
-
Fan Formal Methods for Safe Autonomy
Data-driven Verification, Synthesis, and ApplicationsErscheinungsjahr 2024Verlag: Association for Computing MachineryISBN: 979-8-4007-0863-3Medium: Buch67,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bloem / Dimitrova / Fan Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-95561-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar
-
Bloem / Dimitrova / Fan Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-030-95560-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
