登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Integrating functional and temporal domains in logic design : the false path problem and its implica
出版社：
Boston : Kluwer Academic, c1991.
ISBN：
0792391632
出版年：
1991
作者：
McGeer,Patrick C.
资源类型：
图书
细分类型：
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Temporal logic and temporal logic programming
作者：
Duan,Zhenhua.
ISBN：
7030166515
出版社：
Beijing : Science Press, 2005.
出版年：
2005
Computer logic : the functional design of digital computers.
作者：
Flores,Ivan.
出版社：
Englewood Cliffs, N.J. : Prentice-Hall, 1960.
出版年：
1960
A Unified Linear-time Temporal Logic Solution to the Steam-boiler Control Specification Problem
作者：
闫安
出版社：
中国科学院
出版年：
1997
Executing temporal logic programs
作者：
Moszkowski,B. C.
ISBN：
0521310997
出版社：
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.
出版年：
1986
Spectral logic and its applications for the design of digital devices
作者：
Karpovsky,Mark G.
ISBN：
9780471731887
出版社：
Hoboken, N.J. : Wiley-Interscience, c2008.
出版年：
2008
Temporal logic of programs
作者：
Kröger,Fred,
ISBN：
0387170308
出版社：
Berlin ; New York : Springer-Verlag, c1987.
出版年：
1987
×
访问借阅管理系统
问图书管理员
馆际互借