《FORMAL DEVELPMENT OF PROGRAMS AND PROOFS》求取 ⇩
作者 | EDSGER W.DUKSTRA 编者 |
---|---|
出版 | ADDISON-WESLEY PUBLISHING COMPANY |
参考页数 | 242 ✅ 真实服务 非骗流量 ❤️ |
出版时间 | 没有确切时间的资料 |
ISBN号 | 0201172372 — 违规投诉 / 求助条款 |
PDF编号 | 811690468(学习资料 勿作它用) |
求助格式 | 扫描PDF(若分多册发行,每次仅能受理1册) |
《FORMAL DEVELPMENT OF PROGRAMS AND PROOFS》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由EDSGER W.DUKSTRA ADDISON-WESLEY PUBLISHING COMPANY 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。
高度相关资料
- Proofs and confirmations the story of the alternating sign matrix conjecture
- 1999 Mathematical Association of America ; Cambridge University Press
- ALGEBRA OF PROOFS
- 1978
- FORMAL METHODS:THEORY AND PRACTICE
- 1989 BSP PROFESSIONAL BOOKS
- Formal moduli of algebraic structures
- 1979 Springer-Verlag
- Proofs and types
- 1997 Springer-Verlag
- Introduction to mathematical structures and proofs
- 1996 Jones and Bartlett Publishers
- JEWELS OF FORMAL LANGUAGE THEORY
- 1981 COMPUTER SCIENCE PRESS
- STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS
- 1985 THE MIT PRESS
- FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION
- 1982 PRENTICE-HALL
- Formal specification techniques and applications
- 1999 Springer
- Philosophy of Mathematics An Indroduction to the World of Proofs and Pictures
- 1999 Routledge Taylor & Francis Group
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD