Titel |
Refinements in HOLCF: implementation of interactive systems / Oscar Slotosch |
|---|---|
Beteiligt |
Oscar Slotosch (Verfasser) |
Erschienen |
Hamburg: Kovač |
Umfang |
V, 280 S. : graph. Darst. |
Hochschulschrift |
Zugl.: München, Techn. Univ., Diss., 1997 |
ISBN |
978-3-86064-625-0 |
Sprache |
|
Themengebiet |
|
Thema |
HOLCF, Verfeinerung, Abstrakter Datentyp, Programmverifikation |
Reihe |
|
Datensatz-ID |
950698563 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: