大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Gumb 的图书(共1本)
 |
Programming logics : an introduction to verification and semantics0索取号：TP31/E9066 作者：Gumb、 Raymond D.、 出版社：Chichester John Wiley & Son New York : Wiley, 1989. |
信息栏
请关注本站的微博：
官方QQ群/2015新生群：
最新商品
 |
|
|
搜索选项：
|
© Copyright 大拱桥--暨南大学学生门户 • Atom Feed • 粤ICP备17135490号
Last Updated On 20150305 By Carbon Forum (联系我)
Processed in 4.529 ms, 6 queries, Memory usage: 2048 KBytes
粤公网安备 44030602003680号