| 暂存书架(0) | 登录

MARC状态：审校 文献类型：西文图书 浏览次数：58

题名/责任者:
Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol.
出版发行项:
Hoboken, N.J. : Wiley-Interscience, c2008.
ISBN:
9780471704492 (cloth)
ISBN:
0471704490 (cloth)
载体形态项:
xv, 231 p. : ill. ; 25 cm.
丛编题名:
Wiley series on parallel and distributed computing
个人责任者:
Yoeli, Michael, 1917-
附加个人名称:
Kol, Rakefet.
论题主题:
Integrated circuits-Verification.
论题主题:
Computer software-Verification.
论题主题:
LOTOS (Computer program language)
论题主题:
Petri nets.
中图法分类号:
TN407
书目附注:
Includes bibliographical references and index.
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
TN407/BY1 40038082  - 外文书库(外文原版)（11F）     可借
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

同名作者的其他著作(点击查看)
用户名：
密码：
验证码：
请输入下面显示的内容
  证件号 条码号 Email
 
姓名：
手机号：
送 书 地：
收藏到： 管理书架