大拱桥--暨南大学学生门户 » 图书馆 » 程序设计、软件工程 » Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990
名称 Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990
索引号 TP311-532/E992/3
分类号 TP311-532/E992
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (3rd : 1990 : Madrid、 Spain)、Quemada、 Juan、 1953- .、Mañas、 José、 1956- .、Vázquez、 Enrique、 1960-、
出版社 Amsterdam : North-Holland, 1991.
ISBN
页数 xvii, 584 p. : ill. ; 23 cm.
价格
标签
简介
注解