登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Temporal logic and temporal logic programming
出版社：Beijing : Science Press, 2005.
ISBN：7030166515
出版年：2005
作者：Duan,Zhenhua.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Executing temporal logic programs
  • 作者：Moszkowski,B. C.
  • ISBN：0521310997
  • 出版社：Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.
  • 出版年：1986
...

Temporal logic of programs
  • 作者：Kröger,Fred,
  • ISBN：0387170308
  • 出版社：Berlin ; New York : Springer-Verlag, c1987.
  • 出版年：1987
...

Features of The Temporal Logic Language XYZ/E for System Programming
  • 作者：Tang Zhisong
  • 出版社：中国科学院
  • 出版年：1997
...

A Combination of Interval Logic and Linear Temporal Logic
  • 作者：Qiu Zongyan
  • 出版社：中国科学院
  • 出版年：1997
...

An introduction to practical formal methods using temporal logic
  • 作者：Fisher,Michael,
  • ISBN：9780470027882
  • 出版社：Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, c2011.
  • 出版年：2011
...

Verifying concurrent processes using temporal logic
  • 作者：Hailpern,Brent T.
  • ISBN：0387112057
  • 出版社：Berlin ; New York : Springer-Verlag, 1982.
  • 出版年：1982