Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conferen

Formal description techniques IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conferen

出版社：Amsterdam ; New York : North-Holland ; New York : Distributors for the U.S. and Canada, Elsevier Sci

ISBN：0444894020

出版年：1992

作者：IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems a

资源类型：图书

细分类型：馆内阅览,西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference

作者：Diaz,Michel
ISBN：0444892826
出版社：Amsterdam : North-Holland, 1993.
出版年：1993

Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conferenc

作者：IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems a
ISBN：0444890246
出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada
出版年：1991

Testing of communicating systems : tools and techniques : IFIP TC6/WG6.1 13th International Conferen

作者：Ural,Hasan
ISBN：0792379217
出版社：Boston, MA : Kluwer Academic, 2000.
出版年：2000

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

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

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 International Conference, TestCo

作者：TestCom 2007
ISBN：9783540730651
出版社：Berlin ; New York : Springer, c2007.
出版年：2007