...
机译:具有并发抽象数据类型的CSCW应用程序的正式规范
computer supported cooperative work; temporal logic; algebraic specification;
机译:具有并发抽象数据类型的CSCW应用程序的正式规范
机译:抽象数据类型的形式化规范及其在FORTRAN 90中的实现-有关指针使用的实现问题
机译:FORTRAN 77中数据抽象的形式规范:抽象数组
机译:抽象数据类型和过渡图的代数规范:面向对象分析,规范和设计的形式技术
机译:基于抽象数据类型模型扩展的实时系统的正式规范
机译:科学示范文摘。演示文摘:用于医学数据库构建访问和交付的工具:ETNet:专用于健康科学教育中计算机应用的免费计算机会议系统
机译:从形式代数规范验证抽象数据类型实现的创新教学工具
机译:抽象数据类型的计算和规范理论及其应用。