Understanding concurrent systems

出版社:London ; New York : Springer, 2010.
ISBN:9781848822573
出版年:2010
作者:Roscoe,A. W.
资源类型:图书
细分类型:西文文献
相关推荐

Specification and verification of concurrent systems

  • 作者:Rattray,C.
  • ISBN:3540195815
  • 出版社:London ; New York : Springer-Verlag, 1990.
  • 出版年:1990

Logics and models of concurrent systems

  • 作者:NATO Advanced Study Institute on Logics and Models of Concurrent Systems
  • ISBN:0387151818
  • 出版社:Berlin ; New York : Springer-Verlag, c1985.
  • 出版年:1985

Logics and models of concurrent systems

  • 作者:Apt,Krzysztof R.,
  • ISBN:3540151818
  • 出版社:Berlin : Springer, 1985.
  • 出版年:1985

Operating systems : concurrent and distributed software design

  • 作者:Bacon,Jean,
  • ISBN:0321117891
  • 出版社:Harlow, England ; New York : Addison-Wesley, 2003.
  • 出版年:2003

Structured concurrent programming with operating systems applications

  • 作者:Holt,R. C.
  • ISBN:0201029375
  • 出版社:Reading, Mass. : Addison-Wesley Pub. Co., c1978.
  • 出版年:1978

Concurrent and real time systems : the CSP approach

  • 作者:Schneider,S. A.
  • ISBN:0471623733
  • 出版社:Chichester [England] ; New York : John Wiley, 2000.
  • 出版年:2000