大拱桥--暨南大学学生门户 » 图书馆 » (分类号：TP311-532/E992)(共1本)

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

0
索取号：TP311-532/E992/3
作者：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.