大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 吴江琴 的图书(共1本)

软件工程形式化方法与语言

0
索取号:TP311.5/201024
作者:李莹、吴江琴、
出版社:杭州 : 浙江大学出版社, 2010