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

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

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

ISBN：0444702237

出版年：1987

作者：Meertens,L.G.L.T.

资源类型：图书

细分类型：西文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

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

作者：Möller,Bernhard,
ISBN：0387574999
出版社：Berlin ; New York : Springer-Verlag, c1993.
出版年：1993

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

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

Grid-based problem solving environments : IFIP TC2/WG 2.5 Working Conference on Grid-based Problem S

作者：IFIP TC2/WG 2.5 Working Conference on Grid-based Problem Solving Environments
ISBN：9780387736587
出版社：New York : Springer, 2007.
出版年：2007

Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstrac

作者：IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing
ISBN：0444878882
出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and
出版年：1985

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