A specification language based on initial algebra s.
["An Informal Introduction to Specification Using CLEAR", R.M. Burstall in The Correctness Problem in Computer Science, R.S. Boyer et al eds, Academic Press 1981, pp. 185-213].
(1994-11-03)
A specification language based on initial algebra s.
["An Informal Introduction to Specification Using CLEAR", R.M. Burstall in The Correctness Problem in Computer Science, R.S. Boyer et al eds, Academic Press 1981, pp. 185-213].
(1994-11-03)
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012