《FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION》求取 ⇩
作者 | H.K.BERG 编者 |
---|---|
出版 | PRENTICE-HALL |
参考页数 | 207 ✅ 真实服务 非骗流量 ❤️ |
出版时间 | 1982(求助前请核对) |
ISBN号 | 0133288072 — 违规投诉 / 求助条款 |
PDF编号 | 813976578(学习资料 勿作它用) |
求助格式 | 扫描PDF(若分多册发行,每次仅能受理1册) |
1982《FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由H.K.BERG 1982 PRENTICE-HALL 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。
高度相关资料
- Formal Methods for Interactive Systems
- 1991 ACADEMIC PRESS LTD
- PROGRAM SPECIFICATION AND TRANSFORMATION
- 1987 NORTH HOLLAND
- Formal specification techniques and applications
- 1999 Springer
- THE IMPROVEMENT OF READING:A PROGRAM OF DIAGNOSTIC AND REMEDIAL METHODS
- 1927 THE MACMILLAN COMPANY
- THEORY AND FORMAL METHODS OF COMPUTING 94
- 1995 IMPERIAL COLLEGE PRESS
- AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION
- 1985 VAN NOSTRAND REINHOLD COMPANY
- 逻辑程序设计和数据库
- 1990 Springer-Verlag
- FORMAL SPECIFICATION AND DESIGN
- 1992 CAMBRIDGE UNIVERSITY PRESS
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD