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

The architecture of concurrent programs
出版社：Englewood : Prentice-Hill, 1997.
ISBN：0000000000
出版年：1997
作者：Hansen,Per Brinch
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

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

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

Concurrent computations : algorithms, architecture, and technology : proceedings of the ...
  • 作者：Tewksbury,Stuart K.
  • ISBN：030642939X 28.90
  • 出版社：N.Y. : Plenum, c1988
  • 出版年：1988
...

Concurrent computations : algorithms, architecture, and technology : proceedings of the ...
  • 作者：Tewksbury,Stuart K.
  • ISBN：030642939X
  • 出版社：N.Y. : Plenum, c1988
  • 出版年：1988
...

Topology in process calculus : approximate correctness and infinite evolution of concurrent programs
  • 作者：Ying,Mingsheng.
  • ISBN：0387950923
  • 出版社：New York : Springer, c2001.
  • 出版年：2001