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

Formal description techniques and protocol specification testing and verification : FORTE XI/PSTV
出版社：Boston : Kluwer Academic Publishers, 1998.
ISBN：0412847604
出版年：1998
作者：IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Syste
资源类型：图书
细分类型：西文文献
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
...

Communication protocol specification and verification
  • 作者：Lai,Richard.
  • ISBN：0792382846
  • 出版社：Boston : Kluwer Academic, c1998.
  • 出版年：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 and testing
  • 作者：Tarnay,Katie,
  • ISBN：0306435748
  • 出版社：New York : Plenum Press, c1991.
  • 出版年：1991
...

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
...

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