Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: auRef=1049861523
Treffer 5 von 12
|
|
| Link zu diesem Datensatz | https://d-nb.info/944762670 |
| Titel | Compositional specification and verification of high speed transfer protocols / 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: 1994 |
| Umfang/Format | 19 S. : graph. Darst. ; 21 cm |
| ISBN/Einband/Preis | kart. |
| Beziehungen | Universität Dortmund. Fachbereich Informatik: Forschungsberichte des Fachbereichs Informatik der Universität Dortmund ; Nr. 540 |
| Anmerkungen | Status nach VGG: vergriffen |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Frankfurt |
Signatur: 1995 A 36083
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1995 A 36083
Bereitstellung in Leipzig |
Treffer 5 von 12
Administration
