Modal and temporal properties of processes

出版社:New York ; Hong Kong : Springer-Verlag, 2001.
ISBN:0387987177
出版年:2001
作者:Stirling,Colin P.
资源类型:图书
细分类型:西文文献
相关推荐

Verifying temporal properties of systems

  • 作者:Bradfield,Julian Charles,
  • ISBN:0817636250
  • 出版社:Boston : Birkhauser, c1992.
  • 出版年:1992

Spectral spatial and temporal properties of lasers

  • 作者:A.M.R.
  • 出版社:1972.01

Spectral, spatial, and temporal properties of lasers

  • 作者:Ratner,Anatoliĭ Markovich.
  • ISBN:0306305429
  • 出版社:New York, Plenum Press, 1972.
  • 出版年:1972

Verifying concurrent processes using temporal logic

  • 作者:Hailpern,Brent T.
  • ISBN:0387112057
  • 出版社:Berlin ; New York : Springer-Verlag, 1982.
  • 出版年:1982

Particles in water : properties and processes

  • 作者:Gregory,J.
  • ISBN:1587160854
  • 出版社:London : IWA Pub. ; Boca Raton, FL : Taylor & Francis, 2005.
  • 出版年:2005

Particles in water : properties and processes

  • 作者:Gregory,J.
  • ISBN:9781587160851
  • 出版社:London : IWA Pub. ; Boca Raton, FL : Taylor & Francis, 2005.
  • 出版年:2005