Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=890089159



Treffer 1 von 1 < < > <



Bücher
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

Frankfurt Signatur: H 88b/6687
Bereitstellung in Frankfurt
Leipzig Signatur: Di 1988 B 4309
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration