| Typ des Eintrags: |
Buch
|
| Erschienen: |
2008 |
| Herausgeber: |
Beckert, Bernhard ; Hähnle, Reiner |
| Art des Eintrags: |
Bibliographie |
| Titel: |
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008 ; Proceedings |
| Sprache: |
Englisch |
| Publikationsjahr: |
2008 |
| Ort: |
Cham |
| Verlag: |
Springer International Publishing |
| Reihe: |
Lecture Notes in Computer Science (LNCS) |
| Band einer Reihe: |
4966 |
| Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik
20 Fachbereich Informatik > Software Engineering |
| Hinterlegungsdatum: |
31 Dez 2016 10:40 |
| Letzte Änderung: |
21 Mai 2021 11:27 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
 |
Redaktionelle Details anzeigen |
Drucken
Impressum