Abstract state machines : a method for high-level system design and analysis

出版社:Berlin ; New York : Springer, 2003.
ISBN:3540007024
出版年:2003
作者:Bo?rger,E.
资源类型:图书
细分类型:西文文献
相关推荐

High-level radioactive waste management : a symposium

  • 作者:Campbell,Milton H.,
  • ISBN:0841202702
  • 出版社:Washington : The Society, 1976.
  • 出版年:1976

Programming embedded microprocessors : a high-level language solution

  • 作者:Foulger,R. J.
  • ISBN:0850123364
  • 出版社:Manchester, England : NCC Publications, 1982.
  • 出版年:1982

High-level languages and their compilers

  • 作者:Watson,Des.
  • ISBN:0201184893
  • 出版社:Wokingham, England ; Reading, Mass. : Addison-Wesley, 1989
  • 出版年:1989

Automated analysis of virtual prototypes at the electronic system level : design understanding and a

  • 作者:Goli,Mehran,
  • ISBN:9783030442811
  • 出版社:Cham : Springer, 2020.
  • 出版年:2020

High-level data fusion

  • 作者:Das,Subrata Kumar.
  • ISBN:9781596932814
  • 出版社:Boston : Artech House, c2008.
  • 出版年:2008

High-level VLSI synthesis

  • 作者:Camposano,Raul.
  • ISBN:0792391594
  • 出版社:Boston : Kluwer Academic Publishers, c1991.
  • 出版年:1991