《FORMAL METHODS FOR DISTRIBUTED PROCESSING:A SURVEY OF OBJECT-ORIENTED APPROACHES》
| 作者 | HOWARD BOWMAN AND JOHN DERRICK 编者 |
|---|---|
| 出版 | CAMBRIDGE UNIVERSITY PRESS |
| 参考页数 | 480 |
| 出版时间 | 没有确切时间的资料 |
| ISBN号 | 0521771846 — 求助条款 |
| PDF编号 | 812082088（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
《FORMAL METHODS FOR DISTRIBUTED PROCESSING:A SURVEY OF OBJECT-ORIENTED APPROACHES》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由HOWARD BOWMAN AND JOHN DERRICK CAMBRIDGE UNIVERSITY PRESS 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- Hierarchical Object-Oriented Design
- 1992 Prentice Hall International Ltd.
-
- Object-oriented programming
- 1993 Prentice-Hall international
-
- OBJECT-ORIENTED CONCURRENT PROGRAMMING
- 1987 THE MIT PRESS
-
- FORMAL METHODS FOR REAL-TIME COMPUTING
- 1996年 JOHN WILEY AND SONS
-
- A Survey of numerical methods for partial differential equations
- 1979 Oxford University Press
-
- Management of distributed data processing
- 1982 North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada Elsevier Science Pub. Co.
-
- PRINCIPLES OF OBJECT-ORIENTED ANALYSIS AND DESIGN
- 1993 PTR PRENTICE HALL
-
- THEORETICAL ASPECTS OF OBJECT-ORIENTED PROGRAMMING
- 1994 THE MIT PRESS
-
- FORMAL OBJECT-ORIENTED DEVELOPMENT
- 1995 SPRINGER-VERLAG LONDON LIMITED
-
- A PROGRAMMING APPROACH TO FORMAL METHODS
- 1994 MGRAW-HILL BOOK COMPANY
-
- OBJECT-ORIENTED GRAPHICS
- 1990 SPRINGER-VERLAG WORLD PUBLISHING CORP
-
- OBJECT-ORIENTED PROGRAMMING FUNDAMENTALS
- 1992 MACMILLAN MCGRAW-HILL
-
- OBJECT-ORIENTED APPLICATION FRAMEWORKS
- 1995 MANNING
-
- OBJECT-ORIENTED SOFTWARE IN C++
- 1993 CHAPMAN & HALL
-
- Formal Methods for Interactive Systems
- 1991 ACADEMIC PRESS LTD
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD