×

zbMATH — the first resource for mathematics

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
PDF BibTeX XML Cite