书籍 PROGRAMMING LOGICS  AN INTERODUCTION TO VERIFICATION AND SEMANTICS的封面

PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS

RAYMOND D.GUMB

出版社

JOHN SILEY AND SONS

出版时间

2222

ISBN

标注页数

334 页

PDF页数

346 页

书籍介绍
在线购买PDF电子书