登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Communication protocol specification and verification
出版社：Boston : Kluwer Academic, c1998.
ISBN：0792382846
出版年：1998
作者：Lai,Richard.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Protocol specification, testing and verification, XIII : proceedings of the ...
  • 作者：IFIP TC6/WG6.1 International Symposium on Protocol Specification,Testing and Verification
  • ISBN：0444816488
  • 出版社：Amsterdam : North-Holland, 1993.
  • 出版年：1993
...

Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV
  • 作者：IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Syste
  • ISBN：0412847604
  • 出版社：Boston : Kluwer Academic Publishers, 1998.
  • 出版年：1998
...

Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International
  • 作者：IFIP WG 6.1 International Workshop on Protocol Specification,Testing,and Verification
  • ISBN：0444876766
  • 出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A and C
  • 出版年：1985
...

Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third Intern
  • 作者：Rudin,Harry,
  • ISBN：0444867694
  • 出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada,
  • 出版年：1983
...

Protocol specification, testing, and verification, 10 : proceedings of the IFIP WG 6.1 10th Internat
  • 作者：IFIP WG 6.1 International Symposium on Protocol Specification,
  • ISBN：0444888101
  • 出版社：Amsterdam : North-Holland, 1990
  • 出版年：1990
...

Protocol specification, testing, and verification, 10 : proceedings of the IFIP WG 6.1 10th Internat
  • 作者：IFIP WG 6.1 International Symposium on Protocol Specification,
  • ISBN：0444888101 16.10
  • 出版社：Amsterdam : North-Holland, 1990
  • 出版年：1990