MARC状态:审校 文献类型:西文图书 浏览次数:4
- 题名/责任者:
- Real time programming : languages, specification and verification / R.K. Shyamasundar, S. Ramesh.
- 出版发行项:
- Singapore ; London : World Scientific, 2010.
- ISBN:
- 9789810225667
- ISBN:
- 9810225660
- 载体形态项:
- xv, 245 p. : ill. ; 26 cm.
- 个人责任者:
- Shyamasundar, Rudrapatna, 1950-
- 附加个人名称:
- Ramesh, S.
- 论题主题:
- Real-time programming.
- 中图法分类号:
- TP316.2
- 书目附注:
- Includes bibliographical references (p. 235-242) and index.
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP316.2/X1 | X005217 | 经济书库-外文图书417
|
可借 | 经济书库-外文图书417 |
显示全部馆藏信息




经济书库-外文图书417