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

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

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

ISBN：0444890246

出版年：1991

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

资源类型：图书

细分类型：西文文献

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

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

作者：Diaz,Michel
ISBN：0444892826
出版社：Amsterdam : 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

High speed networking, III : proceedings of the IFIP TC 6/WG 6.4 Third International Conference on H

作者：IFIP TC 6/WG 6.4 International Conference on High Speed Networking
ISBN：0444891978
出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada
出版年：1991

Integrated network management III : proceedings of the IFIP TC6/WG6.6 third International Symposium

作者：Hegering,Heinz-Gerd,
ISBN：0444899820
出版社：Amsterdam ; New York : North-Holland, 1993.
出版年：1993

Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International

作者：FORTE 2019
ISBN：9783030217587
出版社：Cham, Switzerland : Springer, 2019.
出版年：2019