大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Budkowski 的图书(共1本)

Formal description techniquesand protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, andVerification (PSTV XVIII) : 3-6 November 1998, Paris, France

0
索取号:TP311-532/E996/1998
作者:IFIP TC6 EG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification、Testing、 and Verification (1998 : Paris、 France)、Cavalli、 Ana.、Budkowski、 Stan.、Najm、 Elie.、IFIP TC/WG 6.1 International Conference on Formal Descrioption Techniques for Distributed Systems and Communication Protocols (11th : 1998 : Paris、 France)、IFIP WG 6.1 International Symposium on Protocol Specification、 Testing、and Verification (18th : 1998 : Pari、
出版社:Boston : Kluwer Academic Publishers, 1998.
最近添加的分类