《Formal Methods for Interactive Systems》
| 作者 | 编者 |
|---|---|
| 出版 | ACADEMIC PRESS LTD |
| 参考页数 | 369 |
| 出版时间 | 1991（求助前请核对） |
| ISBN号 | 0122183150 — 求助条款 |
| PDF编号 | 812531788（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
1991《Formal Methods for Interactive Systems》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由 1991 ACADEMIC PRESS LTD 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- Interactive Computer Systems Videotex and Multimedia
- 1993 Plenum Press
-
- MATHEMATICAL INTERPRETATION OF FORMAL SYSTEMS
- 1955 NORTH-HOLLAND PUBLISHING COMPANY
-
- FORMAL METHODS FOR REAL-TIME COMPUTING
- 1996年 JOHN WILEY AND SONS
-
- Computational methods for optimizing distributed systems
- 1984 Academic Press
-
- INTERACTIVE SYSTEMS
- 1975 PACA PRESS
-
- Iterative Methods For Sparse Linear Systems
- 1996 Pws Publishing Company ; An International Thomson Publishing Company
-
- Numerical methods for polymeric systems
- 1998 Springer
-
- COMPUTER PROGRAMMING AND FORMAL SYSTEMS
- 1963 NORTH-HOLLAND PUBLISHING COMPANY
-
- A PROGRAMMING APPROACH TO FORMAL METHODS
- 1994 MGRAW-HILL BOOK COMPANY
-
- 逻辑程序设计和数据库
- 1990 Springer-Verlag
-
- HUMAN-MACHINE INTERACTIVE SYSTEMS
- 1991 Plenum Press
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD