Ableitungskalküle und operationale Semantik für algebraische Spezifikationen mit bedingten Gleichungen : totale Algebren

Show object

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• Dimensions: 29 cm
• Extent: 33 Bl.
• Language: Deutsch
• Notes: graph. Darst.

References and Relationships

• Bibliographic citation: Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht-Nr. 1993,1

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Berlin
• (who): Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• (when): 1993
• Creator: Wolter, Uwe

Further information

• Table of contents: https://d-nb.info/931223415/04
• Rights: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.