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

Stepwise refinement of distributed systems : models formalisms correctness : REX workshop Mook t
出版社：Berlin ; New York : Springer-Verlag, c1990.
ISBN：3540525599
出版年：1990
作者：Bakker,J. W. de
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Real-time, theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings
  • 作者：Bakker,J.W. de
  • ISBN：3540555641
  • 出版社：Berlin ; New York : Springer-Verlag, 1992.
  • 出版年：1992
...

From action systems to distributed systems : the refinement approach
  • 作者：Petre,Luigia,
  • ISBN：9781498701587
  • 出版社：Boca Raton, FL : CRC Press, 2015.
  • 出版年：2015
...

Formalisms for reuse and systems integration
  • 作者：Bouabana-Tebibel,Thouraya.
  • ISBN：9783319165769
  • 出版社：Cham : Springer, 2015.
  • 出版年：2015
...

Scheduling in distributed computing systems : analysis, design & models
  • 作者：Deo P.Vidyarthi;Biplab K.Sarker
  • ISBN：0387744800
  • 出版社：Berlin ; New York : Springer, 2009.
  • 出版年：2009
...

State-space models of lumped and distributed systems
  • 作者：Kecman,V.
  • ISBN：0387500820
  • 出版社：Berlin ; New York : Springer-Verlag, c1988.
  • 出版年：1988
...

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
  • 作者：Müller-Olm,Markus.
  • ISBN：3540634061
  • 出版社：Berlin ; New York : Springer, c1997.
  • 出版年：1997