< language , specification > A multiple-style specification language.
["Algebraic Specifications in an Integrated Software Development and Verification System", A. Voss, Diss, U Kaiserslautern, 1985].
(1994-11-30)
< language , specification > A multiple-style specification language.
["Algebraic Specifications in an Integrated Software Development and Verification System", A. Voss, Diss, U Kaiserslautern, 1985].
(1994-11-30)
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012