大拱桥--暨南大学学生门户 » 图书馆 » (分类号：TP3-53/E996)(共4本)

TAPSOFT'91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

0
索取号：TP3-53/E996/1991.2
作者：International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton、 England)、Abramsky、 Samson、 1953-、Maibaum、 Thomas S. E.、
出版社：Berlin ; New York : Springer-Verlag, 1991-

TAPSOFT'91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

0
索取号：TP3-53/E996/1991.1
作者：International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton、 England)、Abramsky、 Samson、 1953-、Maibaum、 Thomas S. E.、
出版社：Berlin ; New York : Springer-Verlag, 1991-

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings

0
索取号：TP3-53/E996/1997
作者：
出版社：Berlin ; New York : Springer, c1997.

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

0
索取号：TP3-53/E996/1995
作者：International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Aarhus、 Denmark)、Mosses、 Peter.、Nielsen、 M. (Mogens)、 1949-、Schwartzbach、 Michael I.、Colloquium on Trees in Algebra and Programming (1995 : Aarhus、 Denmark)、Colloquium on Formal Approaches of Software Engineering (1995 : Aarhus、 Denmark)、
出版社：Berlin ; New York : Springer-Verlag, c1995.