A Formal Description of Hybrid Systems

出版社:中国科学院
出版年:1996
作者:Zhou Chaochen
资源类型:图书
细分类型:中文文献
相关推荐

A Formal Description od Hybrid Systems

  • 作者:Zhou Chaochen
  • 出版社:中国科学院
  • 出版年:1995

Towards a formal description of Ada

  • 作者:Bjørner,D.
  • ISBN:0387102833
  • 出版社:Berlin ; New York : Springer-Verlag, 1980.
  • 出版年:1980

A Formal Approach to Lettershape Description for Type Design

  • 作者:K.Ghosh,Pijush
  • 出版社:Standford Stanford University 1983.
  • 出版年:1983

A Formal Approach to Lettershape Description for Type Design

  • 作者:K.Ghosh,Pijush
  • ISBN:实价:57.75
  • 出版社:Standford Stanford University 1983.
  • 出版年:1983

Formal description of programming concepts

  • 作者:Neuhold,Erich J.
  • ISBN:3540539611
  • 出版社:Berlin ; New York : Springer-Verlag, c1991.
  • 出版年:1991

Formal description techniques

  • 作者:Juan Quemada
  • ISBN:0444890246
  • 出版社:1990.11