Katalog der Deutschen Nationalbibliothek

Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Bitte beachten Sie unsere geänderten Servicezeiten ab dem 1. November 2024.
 
 

Ergebnis der Suche nach: idn=950698563



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/950698563
Art des Inhalts Hochschulschrift
Titel Refinements in HOLCF: implementation of interactive systems / Oscar Slotosch
Person(en) Slotosch, Oscar (Verfasser)
Verlag Hamburg : Kovač
Zeitliche Einordnung Erscheinungsdatum: 1997
Umfang/Format V, 280 S. : graph. Darst. ; 21 cm
Hochschulschrift Zugl.: München, Techn. Univ., Diss., 1997
ISBN/Einband/Preis 978-3-86064-625-0 kart. : DM 148.00, sfr 122.84, S 1080.40
3-86064-625-7 kart. : DM 148.00, sfr 122.84, S 1080.40
Sprache(n) Englisch (eng)
Beziehungen Schriftenreihe Forschungsergebnisse zur Informatik ; Bd. 32
Schlagwörter HOLCF ; Verfeinerung ; Abstrakter Datentyp ; Programmverifikation
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 1997 A 49757
Bereitstellung in Frankfurt
Leipzig Signatur: 1997 A 49757
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration