ASPIK
ASPIK
(language, specification)["Algebraic Specifications in an Integrated SoftwareDevelopment and Verification System", A. Voss, Diss, UKaiserslautern, 1985].
| 单词 | aspik |
| 释义 | ASPIKASPIK(language, specification)["Algebraic Specifications in an Integrated SoftwareDevelopment and Verification System", A. Voss, Diss, UKaiserslautern, 1985]. |
| 随便看 |
英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。