大拱桥--暨南大学学生门户 » 图书馆 » (分类号：TP31/E9930)(共2本)

The logical basis for computer programming

0
索取号：TP31/E9930/2
作者：Manna、 Zohar.、Waldinger、 Richard.、
出版社：Reading, Mass. : Addison-Wesley, 1990

The logical basis for computer programming

0
索取号：TP31/E9930/1
作者：Manna、 Zohar.、Waldinger、 Richard.、
出版社：Reading, Mass. : Addison-Wesley, 1985