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

Logics for concurrency : structure versus automata
出版社：Berlin ; New York : Springer, 1996.
ISBN：3540609156
出版年：1996
作者：Moller,Faron
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Automata logics, and infinite games
  • 作者：Gridel,Erich
  • ISBN：3540003886
  • 出版社：Berlin ; New York : Springer, 2002.
  • 出版年：2002
...

Linear time, branching time, and partial order in logics and models for concurrency : School/Worksho
  • 作者：Bakker,J.W. de
  • ISBN：038751080X
  • 出版社：Berlin ; New York : Springer-Verlag, c1989.
  • 出版年：1989
...

Structure and bonding : v.52: Structures versus special properties
  • 作者：Clarke,M. J. et al. ed.
  • 出版社：Springer-Verlag 1982
  • 出版年：1982
...

Logics of Programs
  • 作者：E.Clarke
  • ISBN：3540128964
  • 出版社：0000.00
...

Electrics versus hydraulics versus pneumatics
  • 作者：European Conference on Electrics Versus Hydraulics Versus Pneumatics
  • 出版社：London : Mechanical Engineering Pub., c1985.
  • 出版年：1985
...

Philosophy of logics
  • 作者：Haack,Susan.
  • ISBN：0521219884
  • 出版社：Cambridge [Eng.] ; New York : Cambridge University Press, 1978.
  • 出版年：1978