Ergebnisse filtern
-
- 4
-
- 1
- 1
- 2
-
- 2
- 2
- 1
- 4
- 1
- 2
-
- 2
- 2
-
- 4
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Bultan / Bravetti Web Services and Formal Methods
7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers2011Verlag: SpringerISBN: 978-3-642-19588-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bultan / Hsiung Automated Technology for Verification and Analysis
9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24371-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bultan / Aydin / Alkhalaf String Analysis for Software Verification and Security
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68668-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bultan / Aydin / Yu String Analysis for Software Verification and Security
Softcover Nachdruck of the original 1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-88637-4Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
