×

Algebraic specification. (English) Zbl 0900.68309

van Leeuwen, Jan (ed.), Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 675-788 (1990).
For the entire collection see [Zbl 0714.68001].

MSC:

68Q65 Abstract data types; algebraic specification
PDFBibTeX XMLCite