×

zbMATH — the first resource for mathematics

Varieties of ”if-then-else”. (English) Zbl 0518.68010

MSC:
68N01 General topics in the theory of software
68Q65 Abstract data types; algebraic specification
PDF BibTeX XML Cite
Full Text: DOI