Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen

Pepper, PeterBroy, ManfredBauer, Friedrich L.Partsch, HelmuthDosch, WalterWirsing, Martin2018-01-292018-01-291982https://dl.gi.de/handle/20.500.12116/15423deAbstrakte Datentypen: Die algebraische Spezifikation von RechenstrukturenText/Journal Article