Katalog der Deutschen Nationalbibliothek

Neuigkeiten Frankfurt: Die Servicetheke Frankfurt ist heute nur bis 17 Uhr besetzt. Bitte beachten Sie dies für Anmeldung und Ausleihe von Sondermaterialien.

Frankfurt: The Frankfurt service desk is only open until 5 p.m. today. Please note this when registering and borrowing special materials.
 
Neuigkeiten

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

 
 

Ergebnis der Suche nach: "122824547"

Zurück zur Trefferliste


Treffer 3 von 7 < < > <



Bücher
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 7
< < > <




Aktionen

Aktionen





E-Mail-IconAdministration