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

Topology in process calculus : approximate correctness and infinite evolution of concurrent programs
出版社：New York : Springer, c2001.
ISBN：0387950923
出版年：2001
作者：Ying,Mingsheng.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

The architecture of concurrent programs
  • 作者：Brinch Hansen,Per,
  • ISBN：0130446289
  • 出版社：Englewood Cliffs, N.J. : Prentice-Hall, c1977.
  • 出版年：1977
...

The architecture of concurrent programs
  • 作者：Hansen,Per Brinch
  • ISBN：0000000000
  • 出版社：Englewood : Prentice-Hill, 1997.
  • 出版年：1997
...

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
...

Symposium on Infinite Dimensional Topology
  • 作者：Symposium on Infinite Dimensional Topology
  • ISBN：0691080879
  • 出版社：Princeton, N.J. : Princeton University Press, 1972.
  • 出版年：1972
...

The evolution of programs
  • 作者：Dershowitz,Nachum
  • ISBN：0817631712
  • 出版社：Boston : Birkhauser, 1983
  • 出版年：1983