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

Automatic verification of sequential infinite-state processes
出版社：Berlin : Springer, 1998.
ISBN：3540639829
出版年：1998
作者：Burkart,Olaf.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Verification of sequential and concurrent programs
  • 作者：Gries,David
  • ISBN：0387948961
  • 出版社：New York : Springer-Verlag, 1997.
  • 出版年：1997
...

Verification of sequential and concurrent programs
  • 作者：Apt,Krzysztof R.,
  • ISBN：0387975322
  • 出版社：New York : Springer-Verlag, c1991.
  • 出版年：1991
...

Sequential logic testing and verification
  • 作者：Ghosh,Abhijit,
  • ISBN：0792391888
  • 出版社：Boston : Kluwer Academic, c1992.
  • 出版年：1992
...

Automatic Verification methods for finite state systems : international workshop, Grenoble, France,
  • 作者：Sifakis,J.
  • ISBN：0387521488
  • 出版社：Berlin ; New York : Springer-Verlag, c1990.
  • 出版年：1990
...

Communicating sequential processes
  • 作者：Hoare,C. A. R.
  • ISBN：0131532715
  • 出版社：Englewood Cliffs, N.J. : Prentice/Hall International, c1985.
  • 出版年：1985
...

Infinite processes, background to analysis
  • 作者：Gardiner,A.
  • ISBN：0387906053
  • 出版社：New York : Springer-Verlag, c1982.
  • 出版年：1982