Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: cod="rb"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/208668810 |
Art des Inhalts | Hochschulschrift |
Titel | Spezifikation und Verifikation abstrakter Datentypen / Klaus Bothe |
Person(en) | Bothe, Klaus (Verfasser) |
Verlag | Berlin-Adlershof : Akad. d. Wiss. d. DDR, Zentrum für Rechentechnik |
Zeitliche Einordnung | Erscheinungsdatum: 1978 |
Umfang/Format | 162 S.in getr. Zählung ; 21 cm |
Hochschulschrift | Zugl.: Berlin, Univ., Diss. A, 1978. |
Beziehungen | Zentrum für Rechentechnik <Berlin, DDR> : ZfR-Informationen ; 78,11 |
Anmerkungen |
Literaturverz. 7 S Status nach VGG: vergriffen |
Sachgruppe(n) | 0800 Energiewirtschaft, Elektrotechnik, Elektronik |
Leipzig |
Signatur: SA 25366 - 78,11
Bereitstellung in Leipzig |
