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

Formal description techniques V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference
出版社：Amsterdam : North-Holland, 1993.
ISBN：0444892826
出版年：1993
作者：Diaz,Michel
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conferen
  • 作者：IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems a
  • ISBN：0444894020
  • 出版社：Amsterdam ; New York : North-Holland ; New York : Distributors for the U.S. and Canada, Elsevier Sci
  • 出版年：1992
...

Protocol test systems, V : proceedings of the IFIP TC6/WG6.1 Fifth Working Conference on Protocol Te
  • 作者：Bochmann,G.v.
  • ISBN：0444899804
  • 出版社：Amsterdam ; London : North-Holland, 1993.
  • 出版年：1993
...

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Confer
  • 作者：IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems
  • ISBN：0792384296
  • 出版社：Bostons : Kluwer Academic, c1999.
  • 出版年：1999
...

Testing of communicating systems : tools and techniques : IFIP TC6/WG6.1 13th International Conferen
  • 作者：Ural,Hasan
  • ISBN：0792379217
  • 出版社：Boston, MA : Kluwer Academic, 2000.
  • 出版年：2000
...

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 International Conference, TestCo
  • 作者：TestCom 2007
  • ISBN：9783540730651
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007
...

Distributed applications and interoperable systems II : IFIP TC6 WG6.1 Second International Working
  • 作者：IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable System
  • ISBN：0792385276
  • 出版社：Boston : Kluwer, c1999.
  • 出版年：1999