Formal program development : IFIP TC2/WG 2.1 state-of-the-art report

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report

出版社：Berlin ; New York : Springer-Verlag, c1993.

ISBN：0387574999

出版年：1993

作者：Möller,Bernhard,

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Program specification and transformation : proceedings of the IFIP TC2/WG 2.1 Working Conference on

作者：Meertens,L.G.L.T.
ISBN：0444702237
出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and
出版年：1987

Database semantics : semantic issues in multimedia systems : IFIP TC2/WG2.6 Eighth Working Conferenc

作者：IFIP TC2/WG2.6 Working Conference on Database Semantics
ISBN：0792384059
出版社：Boston : Kluwer Academic Publishers, c1999.
出版年：1999

Programming concepts and methods : PROCOMET ''98 : IFIP TC2/WG2.2, 2.3 International Conference on Pr

作者：IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
ISBN：0412837609
出版社：London : Chapman and Hall, c1998.
出版年：1998

Engineering for human-computer interaction : proceedings of the IFIP TC2/WG2.7 working conference on

作者：IFIP TC 2/WG 2.7 Working Conference on Engineering for Human-Computer Interaction
ISBN：0412721805
出版社：London : Chapman & Hall, c1996.
出版年：1996

Programming environments for high-level scientific problem solving : proceedings of the IFIP TC2/WG

作者：IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Sol
ISBN：0444891765
出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada
出版年：1992

Engineering for human-computer interaction : proceedings of the IFIP TC2/WG2.7 Working Conference on

作者：IFIP TC 2/WG 2.7 Working Conference on Engineering for Human-Computer Interaction
ISBN：0444899049
出版社：Amsterdam ; New York : North-Holland, 1992.
出版年：1992