CASL reference manual : the complete documentation of the Common Algebraic Specification Language
作者： Peter D Mosses , None
DOI:
关键词: Semantics (computer science) 、 Programming language 、 Common Algebraic Specification Language 、 Documentation 、 Computer science 、 Syntax (programming languages)
摘要: CASL Summary.- I. Casl Syntax.- II. Semantics.- III. Logic.- IV. Libraries.- V. Libraries.
参考文章(0)