MARC状态:已编 文献类型:西文图书 浏览次数:58
- 题名/责任者:
- ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings / Didier Bert ... [et al.] (eds.).
- 出版发行项:
- Berlin ; New York : Springer, c2002.
- ISBN:
- 3540431667 :
- 载体形态项:
- xii, 534 p. : ill. ; 24 cm.
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2272
- 会议名称:
- International Conference of B and Z Users (2nd : 2002 : Grenoble, France)
- 附加个人名称:
- Bert, Didier.
- 论题主题:
- B (Computer program language)-Congresses.
- 论题主题:
- Z (Computer program language)-Congresses.
- 中图法分类号:
- TP312-53
- 书目附注:
- Includes bibliographical references and index.
- 载体形态附注:
- Available also through Springer LINK.
- 随书光盘:
全部MARC细节信息>>