MARC状态：审校 文献类型：西文图书 浏览次数：21
- 题名/责任者:
- Logic in computer science modelling and reasoning about systems / Michael Huth, Mark Ryan.
- 版本说明:
- 2nd ed.
- 出版发行项:
- Cambridge [U.K.] ; New York : Cambridge University Press, 2004.
- ISBN:
- 9780511261589 (eISBN)
- ISBN:
- 9780521543101
- 载体形态项:
- 1 online resource (xiv, 427 p.) : ill.
- 个人责任者:
- Huth, Michael, 1962-
- 附加个人名称:
- Ryan, Mark, 1962-
- 论题主题:
- Computer logic.
- 中图法分类号:
- TP302
- 中图法分类号:
- O141
- 一般附注:
- Descriptionbasedonprintversionrecord.
- 书目附注:
- Includes bibliographical references (p. 414-417) and index.
- 随书光盘:
全部MARC细节信息>>