Ableitungskalküle und operationale Semantik für algebraische Spezifikationen mit bedingten Gleichungen
totale Algebren
Gespeichert in:
Verfasser / Beitragende:
Uwe Wolter
Ort, Verlag, Jahr:
Berlin :
TU,
1993
Beschreibung:
33 Blatt
Format:
Buch