《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