PREDICATE CALCULUS AND PROGRAM SEMANTICS

下载此书RAR压缩包在线购买PDF电子书

EDSGER W.DIJKSTRA，CAREL S.SCHOLTEN1990 年出版220 页ISBN：7506210444

FORMAL DEVELPMENT OF PROGRAMS AND PROOFS

下载此书RAR压缩包在线购买PDF电子书

EDSGER W.DUKSTRA2222 年出版242 页ISBN：0201172372