Formal development of reactive systems : case study production cell

出版社:Berlin ; New York : Springer-Verlag, c1995.
ISBN:3540588671
出版年:1995
作者:Lewerentz,Claus,
资源类型:图书
细分类型:西文文献
相关推荐

Verification of reactive systems : formal methods and algorithms

  • 作者:Schneider,Klaus,
  • ISBN:3540002960
  • 出版社:Berlin ; New York : Springer, c2004.
  • 出版年:2004

Development of animal production systems

  • 作者:Nestel,Barry
  • 出版社:Amsterdam: Elsevier, c1984.
  • 出版年:1984

Potential crop production : a case study

  • 作者:Wareing,P.F.
  • 出版社:London : HEB, 1971,London: Heinemann Educational Books, c1971.
  • 出版年:1971

Development through Life: A Case Study Approach

  • 作者:Newman,Barbara M.
  • ISBN:0256017794
  • 出版社:Homewood: The Dorsey Press, 1976.
  • 出版年:1976

Economic development and policies : case study of Thailand

  • 作者:Marzouk,G.A.98013
  • 出版社:Rotterdam: The Univ. pr., c1972.
  • 出版年:1972