《PREDICATE CALCULUS AND PROGRAM SEMANTICS》

作者 EDSGER W.DIJKSTRA，CAREL S.SCHO 编者
出版 Springer-Verlag
参考页数 220
出版时间 1990（求助前请核对）
ISBN号 7506210444 — 求助条款
PDF编号 813249578（仅供预览，未存储实际文件）
求助格式 扫描PDF（若分多册发行，每次仅能受理1册）
PREDICATE CALCULUS AND PROGRAM SEMANTICS 1990 PDF电子版封面 7506210444 EDSGER W.DIJKSTRA，CAREL S.SCHO

1990《PREDICATE CALCULUS AND PROGRAM SEMANTICS》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由EDSGER W.DIJKSTRA，CAREL S.SCHO 1990 Springer-Verlag 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD