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

Declarative models of concurrent cyclic processes
出版社：Cham : Springer, 2023.,Cham, Switzerland : Springer, 2023.
ISBN：9783031405518
出版年：2023
作者：Bocewicz,Grzegorz,
资源类型：图书
细分类型：中文文献,西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

Verifying concurrent processes using temporal logic
  • 作者：Hailpern,Brent T.
  • ISBN：0387112057
  • 出版社：Berlin ; New York : Springer-Verlag, 1982.
  • 出版年：1982
...

Models, languages, and tools for concurrent and distributed programming : essays dedicated to Rocco
  • 作者：Boreale,Michele,
  • ISBN：9783030214845
  • 出版社：Cham : Springer, 2019.
  • 出版年：2019
...

Switching processes in queueing models
  • 作者：Anisimov,V. V.
  • ISBN：9781848210455
  • 出版社：London : ISTE ; Hoboken, NJ : Wiley, 2008.
  • 出版年：2008
...

Animal models of immunological processes
  • 作者：Hay,John B.
  • ISBN：0123335205
  • 出版社：London : Academic Pr., c1982
  • 出版年：1982