大拱桥
登录
搜索选项:
搜索帖子
课程
公选课
珠区图书馆
百货商场
图书馆
大拱桥--暨南大学学生门户
»
图书馆
» 搜索包含 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.
最近添加的分类
对外联络处
体育学院
经济学院
南校区管理委员会
数字校园
南校区管委会
暨南大学校报
下载中心
规章制度
信息公示
创新论坛
教务动态
创新人才
课程中心
核心团队
通知
电气信息学院
四海书院
国际商学院
人文学院
粤公网安备 44030602003680号