Ergebnisse filtern
-
- 2
- 1
-
- 2
- 1
-
- 3
-
- 1
- 1
- 1
-
- 3
-
- 3
-
- 3
-
- 3
-
Garoche Formal Verification of Control System Software
Erscheinungsjahr 2019Verlag: Princeton University PressISBN: 978-0-691-18130-1Medium: Buch64,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Garoche Static Analysis of Actors by Abstract Interpretation
Applying Abstract Interpretation to an Higher Order Process CalculusErscheinungsjahr 2010Verlag: LAP LAMBERT Academic PublishingISBN: 978-3-8433-8954-9Medium: Buch79,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Garoche Formal Verification of Control System Software
1. Auflage 2019Verlag: De GruyterISBN: 978-0-691-18958-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark65,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort