大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Gumb 的图书(共1本)
 |
Programming logics : an introduction to verification and semantics0索取号：TP31/E9066 作者：Gumb、 Raymond D.、 出版社：Chichester John Wiley & Son New York : Wiley, 1989. |
最近添加的分类
粤公网安备 44030602003680号