您要查找的是不是：
- Algebraic specification of ADT is an important source of black-box testing. 抽象数据类型的代数规格说明体系是一种重要的黑盒测试依据。
- The thesis presents a new test case automated generation method based on algebraic specification of ADT. 本文以代数规格说明为基础，提出了一种新的黑盒测试用例生成方法。
- On one end of the spectrum are powerful frameworks such as Hoare logic, algebraic specification languages, modal logics, and denotational semantics. 在涉及面的一端是强大的框架，像Hoare逻辑、代数规范语言、模型逻辑和形式语义学。
- First,an algebraic specification language ASL based on abstract datatype is introdIiced,then a forn1aI transformation metliod of specification written in ASL intoPROLOG is introduced. 首先给出了一种基于抽象数据类型的代数规格说明语言ASL：然后介绍了由ASL描述的规格说明到PROLOG转换 的形式化方法；
- Algebraic Specification of Abstract Data Types 抽象数据类型的代数规格说明
- executable algebraic specification 可执行代数规范
- STRUCTURED ALGEBRAIC SPECIFICATION OF DFA MODEL AND ITS LANGUAGE DFA模型及其语言的结构化代数规约
- The boy can't figure out the algebra problems. 这个男孩做不出这道代数题。
- We've learned algebra in middle school. 我在中学就学过代数学。
- Can you give me a price list with specification? 你能否给我一份有规格说明的价目单吗？
- She was studying to build up her algebra. 她在学习以提高自己的代数水平。
- parameterized algebraic specifications 参数化规约
- Are you stuck over your algebra? 你的代数题做不下去了吧？
- He finally got the answer to the algebra problem. 他终於算出了这道代数题的答案。
- Have you got a product of this specification? 不知你们有没有这种规格的？
- Have you get a product of this specification? 不知贵方有没有这种规格的产品？
- All the parts were machined to the specification. 所有部件都按照规格予以加工的。
- Auto-Transformation of the Process Algebra Specification of Security Protocols into Logic Programs 安全协议的进程代数规约到逻辑程序的自动转换
- Tensor algebra is tied to coordinates. 张量代数则离不开坐标系。
- The branch of algebra that deals with quadratic equations. 二次方程式论处理二次方程式的代数学的分支
