《FORMAL METHODS FOR REAL-TIME COMPUTING》
| 作者 | CONSTANCE HEITMEYER DINO MAND 编者 |
|---|---|
| 出版 | JOHN WILEY AND SONS |
| 参考页数 | 271 |
| 出版时间 | 1996年（求助前请核对） |
| ISBN号 | 无 — 求助条款 |
| PDF编号 | 817991668（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
1996年《FORMAL METHODS FOR REAL-TIME COMPUTING》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由CONSTANCE HEITMEYER DINO MAND 1996年 JOHN WILEY AND SONS 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- Real-Time Structured Methods Systems Analysis
- 1993 John Wiley & Sons Ltd.
-
- REAL TIME
- 1981
-
- FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
- 1991 SPRINGER-VERLAG
-
- REAL TIME OPHTHALMIC ULTRASONOGRAPHY
- 1978 SPRINGER VERLAG
-
- REAL TIME PROGRAMMING 1981
- 1982 INTERNATIONAL FEDERATION OF AUTOMATIC CONTROL
-
- Microprocessors for engineers : interfacing for real-time applications
- 1987 ellis horwood limited and john wiley & sons
-
- Formal techniques in real-time and fault-tolerant systems
- 1993 Kluwer Academic Publishers
-
- THEORY AND FORMAL METHODS OF COMPUTING 94
- 1995 IMPERIAL COLLEGE PRESS
-
- REAL-TIME SYSTEMS SYMPOSIUM
- 1989 IEEE COMPUTER SOCIETY PRESS
-
- Introduction To The Formal Design of Real-Time Systems
- 1999 Springer-Verlag
-
- Formal Methods for Interactive Systems
- 1991 ACADEMIC PRESS LTD
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD