《ZB 2002：Formal Specification and Development in Z and B》
| 作者 | 编者 |
|---|---|
| 出版 | 未查询到或未知 |
| 参考页数 | 535 |
| 出版时间 | 没有确切时间的资料 |
| ISBN号 | 3540431667 — 求助条款 |
| PDF编号 | 811480158（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
《ZB 2002：Formal Specification and Development in Z and B》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- DEVELOPMENT AND DEMOCRACY IN INDIA
- 1999 LYNNE RIENNER PUBLISHERS
-
- FORMAL METHODS:THEORY AND PRACTICE
- 1989 BSP PROFESSIONAL BOOKS
-
- PROGRAM SPECIFICATION AND TRANSFORMATION
- 1987 NORTH HOLLAND
-
- FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
- 1991 SPRINGER-VERLAG
-
- FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION
- 1982 PRENTICE-HALL
-
- Formal specification techniques and applications
- 1999 Springer
-
- FORMAL LANGUAGES AND PROGRAMMING
- 1976 NORTH-HOLLAND PUBLISHING COMPANY
-
- MEMORY AND AFFECT IN DEVELOPMENT
- 1993 LAWRENCE ERLBAUM ASSOCIATES
-
- FORMAL GRAMMAR:THEORY AND IMPLEMENTATION
- 1992 NEW YORK OXFORD UNIVERSITY PRESS 1992
-
- Formal techniques in real-time and fault-tolerant systems
- 1993 Kluwer Academic Publishers
-
- FORMAL OBJECT-ORIENTED DEVELOPMENT
- 1995 SPRINGER-VERLAG LONDON LIMITED
-
- AN INTRODUCTION TO FORMATL SPECIFICATION WITH Z AND VDM
- 1995 MCGRAW-HILL BOOK COMPANY
-
- Statistics in research and development
- 1983 Chapman and Hall
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD