Katalog der Deutschen Nationalbibliothek

Expertensuche ?

24. Dezember 2024 bis 1. Januar 2025: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2025 bereitgestellt. // From 24 December 2024 to 1 January 2025: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2025.

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

Ergebnis der Suche nach: idn=959235795

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/959235795
Art des Inhalts	Hochschulschrift
Titel	Denotationelle Analysen funktional-logischer Programme / vorgelegt von Frank Zartmann
Person(en)	Zartmann, Frank (Verfasser)
Zeitliche Einordnung	Erscheinungsdatum: 1999
Umfang/Format	173 S. ; 21 cm
Hochschulschrift	Aachen, Techn. Hochsch., Diss., 1999
Schlagwörter	Funktional-logische Programmiersprache ; Programmanalyse ; Programmtransformation ; Funktionale Semantik ; Deklarative Semantik ; Operationale Semantik
Sachgruppe(n)	28 Informatik, Datenverarbeitung
Weiterführende Informationen	Inhaltsverzeichnis

Frankfurt	Signatur: H 2000 A 1908 Bereitstellung in Frankfurt
Leipzig	Signatur: H 2000 A 1908 Bereitstellung in Leipzig

Treffer 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration