Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: auRef=1049861523
Treffer 7 von 12
|
|
| Link zu diesem Datensatz | https://d-nb.info/944777686 |
| Titel | Report on analysis and verification techniques / Peter Herrmann ; Heiko Krumm. [Universität Dortmund, Fachbereich Informatik] |
| Person(en) |
Herrmann, Peter (Verfasser) Krumm, Heiko (Verfasser) |
| Verlag | Dortmund : Dekanat Informatik, Univ. |
| Zeitliche Einordnung | Erscheinungsdatum: 1993 |
| Umfang/Format | 58 S. ; 21 cm |
| ISBN/Einband/Preis | kart. |
| Beziehungen | Universität Dortmund. Fachbereich Informatik: Forschungsberichte des Fachbereichs Informatik der Universität Dortmund ; Nr. 485 |
| Anmerkungen |
Literaturverz. S. 42 - 54 Status nach VGG: vergriffen |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 1995 A 36038
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1995 A 36038
Bereitstellung in Leipzig |
Treffer 7 von 12
Administration
