书籍 FORMAL DEVELPMENT OF PROGRAMS AND PROOFS的封面

FORMAL DEVELPMENT OF PROGRAMS AND PROOFS

EDSGER W.DUKSTRA

出版社

ADDISON-WESLEY PUBLISHING COMPANY

出版时间

2222

ISBN

0201172372

标注页数

242 页

PDF页数

255 页

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