1) 非形式描述文本（Informal Specification） 2) 形式描述文本（Formal Specification） 3) 与机器无关的源程序代码（Machine-independent Source Code） ..
基于20个网页-相关网页
... 非形式证明 informal proof 非形式说明, 非形式描述 informal specification 非形式语法树 informal syntax tree ...
基于1个网页-相关网页
informal type specification 非正式类型规格
应用推荐