MARC状态:已编 文献类型:西文图书 浏览次数:41
- 题名/责任者:
- The Use of formal specification of software, June 25-27, 1979, Berlin / edited by H.K. Berg and W.K. Giloi.
- 出版发行项:
- Berlin ; New York : Springer-Verlag, 1980.
- ISBN:
- 0387104429 :
- 载体形态项:
- iv, 388 p. : ill. ; 24 cm.
- 丛编题名:
- Informatik-Fachberichte ; v. 36
- 附加个人名称:
- Berg, H. K. (Helmut K.)
- 附加个人名称:
- Giloi, Wolfgang.
- 论题主题:
- Computer programming-Congresses.
- 论题主题:
- Computer firmware.
- 中图法分类号:
- TP31-53
- 书目附注:
- Includes bibliographical references and index.
- 随书光盘:
全部MARC细节信息>>