APPROACH TO HIERARCHICAL AND MODULAR PROGRAM CONSTRUCTION AND VERIFICATION - THE iota PROGRAMMING SYSTEM.

被引：0
作者：
Nakajima, Reiji
机构：
来源：
Japan Annual Reviews in Electronics, Computers & Telecommunications: Computer Science & Technologi | 1982年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
20
引用
收藏
页码：126 / 150
相关论文
empty
未找到相关数据