Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "122824547"
Treffer 3 von 9
|
|
| Link zu diesem Datensatz | https://d-nb.info/931215102 |
| Titel | Nondeterminism in algebraic specifications and algebraic programs / Heinrich Hussmann |
| Person(en) | Hußmann, Heinrich (Verfasser) |
| Verlag | Boston ; Basel ; Berlin : Birkhäuser |
| Zeitliche Einordnung | Erscheinungsdatum: 1993 |
| Umfang/Format | VII, 253 S. : graph. Darst. ; 25 cm |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Nondeterminism in Algebraic Specifications and Algebraic Programs |
| ISBN/Einband/Preis |
978-3-7643-3700-1 (Basel ...) Pp. : sfr 92.00 3-7643-3700-1 (Basel ...) Pp. : sfr 92.00 978-0-8176-3700-2 (Boston) Pp. 0-8176-3700-1 (Boston) Pp. |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Progress in theoretical computer science ; 8 |
| Anmerkungen |
Literaturverz. S. 205 - 214 Status nach VGG: vergriffen |
| Schlagwörter | Algebraische Spezifikation ; Nichtdeterminismus ; Termersetzungssystem |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 1993 A 12611 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1993 A 12611 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 3 von 9
Administration
