Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=950698563
Treffer 1 von 1
|
|
| 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
Administration
