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

totale Algebren

Verfasser / Beitragende:
Uwe Wolter
Ort, Verlag, Jahr:
Berlin : TU, 1993
Beschreibung:
33 Blatt
Format:
Buch
ID: 549221913