Ergebnisse filtern
-
- 2
- 1
-
- 2
- 1
-
- 2
- 1
- 3
-
- 1
- 1
- 1
-
- 3
-
- 3
-
- 3
-
- 3
-
Clarke / Minea Verification of Infinite-state Systems with Applications to Security
1. Auflage 2006Verlag: IOS PressISBN: 978-1-58603-570-9Medium: Buch88,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Campos / Minea Formal Methods: Foundations and Applications
24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-92136-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Campos / Minea Formal Methods: Foundations and Applications
24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-92137-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort