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

Specification and analysis of concurrent systems : the COSY approach
出版社：Berlin ; New York : Springer-Verlag, c1992.
ISBN：0387552049
出版年：1992
作者：Janicki,Ryszard.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Specification and verification of concurrent systems
  • 作者：Rattray,C.
  • ISBN：3540195815
  • 出版社：London ; New York : Springer-Verlag, 1990.
  • 出版年：1990
...

The temporal logic of reactive and concurrent systems : specification
  • 作者：Manna,Zohar.
  • ISBN：0387976647
  • 出版社：New York : Springer-Verlag, c1992.
  • 出版年：1992
...

Concurrent and real time systems : the CSP approach
  • 作者：Schneider,S. A.
  • ISBN：0471623733
  • 出版社：Chichester [England] ; New York : John Wiley, 2000.
  • 出版年：2000
...

Concurrent systems : operating systems, database and distributed systems--an integrated approach
  • 作者：Bacon,Jean,
  • ISBN：0201177676
  • 出版社：Harlow, England ; Reading, Mass. : Addison-Wesley, 1998.
  • 出版年：1998
...

Supervisory control of concurrent systems : a Petri net structural approach
  • 作者：Iordache,M. V.
  • ISBN：0817643575 782.33
  • 出版社：Boston : Birkhauser, 2006.
  • 出版年：2006
...

Supervisory control of concurrent systems : a Petri net structural approach
  • 作者：Iordache,M. V.
  • ISBN：0817643575
  • 出版社：Boston : Birkhauser, 2006.
  • 出版年：2006