Ergebnisse filtern
-
- 4
- 3
-
- 1
- 2
- 1
- 1
- 1
- 1
-
- 1
- 1
- 1
- 3
- 1
-
- 5
- 2
-
- 7
-
- 7
-
- 7
-
Halbwachs / Peled Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-48683-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Halbwachs / Peled Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66202-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Broy / Peled Engineering Dependable Software Systems
1. Auflage 2013Verlag: IOS PressISBN: 978-1-61499-206-6Medium: Buch136,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Irlbeck / Peled / Pretschner Dependable Software Systems Engineering
1. Auflage 2015Verlag: Ios PressISBN: 978-1-61499-494-7Medium: Buch135,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Artho / Legay / Peled Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-46520-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Artho / Legay / Peled Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46519-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clarke / Grumberg / Kroening Model Checking, second edition
Erscheinungsjahr 2018Verlag: MIT PressISBN: 978-0-262-34945-1Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)77,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort