Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=890089159
Link zu diesem Datensatz | https://d-nb.info/890089159 |
Art des Inhalts | Hochschulschrift |
Titel | Zur induktiven Programmsynthese im Rahmen der algebraischen Softwarespezifikation |
Person(en) | Lange, Steffen (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 1987 |
Umfang/Format | 149, 7 Bl. : graph. Darst. ; 30 cm |
Hochschulschrift | Berlin, Humboldt-Univ., Diss. A, 1987 (Nicht f.d. Austausch) |
Sprache(n) | Deutsch (ger) |
Schlagwörter | Software / algebraische ̃spezifikation |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 0300 Mathematik, Physik, Astronomie |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: H 88b/6687
Bereitstellung in Frankfurt |
Leipzig |
Signatur: Di 1988 B 4309
Bereitstellung in Leipzig |