Typ des Eintrags: |
Buch
|
Erschienen: |
2006 |
Herausgeber: |
Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter |
Art des Eintrags: |
Bibliographie |
Titel: |
Verification of Object-Oriented Software: The KeY Approach |
Sprache: |
Englisch |
Publikationsjahr: |
2006 |
Ort: |
Berlin, Heidelberg, New York |
Verlag: |
Springer-Verlag |
Reihe: |
Lecture Notes in Computer Science (LNCS) |
Band einer Reihe: |
4334 |
Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik 20 Fachbereich Informatik > Software Engineering |
Hinterlegungsdatum: |
31 Dez 2016 10:40 |
Letzte Änderung: |
06 Jul 2021 10:14 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |