Introduction to software develoment methods based on formal specifications

被引：0

作者：

Kuruma, Hironobu ^{[1
]}

Ishikawa, Fuyuki ^{[1
]}

机构：

[1] Hitachi, Ltd., National Institute of Informatics, Japan

来源：

Computer Software | 2012年 / 29卷 / 04期

关键词：

Semantics;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

收藏

页码：50 / 58

相关论文

empty

未找到相关数据