A formal approach to hardware design

出版社:Boston : Kluwer Academic Publishers, c1994.
ISBN:0792394275
出版年:1994
作者:Staunstrup,Jorgen,
资源类型:图书
细分类型:西文文献
相关推荐

Formal verification of floating-point hardware design : a mathematical approach

  • 作者:Russinoff,David,
  • ISBN:9783319955124
  • 出版社:Cham, Switzerland : Springer, 2019.
  • 出版年:2019

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

Fundamentals of structured hardware design : a design language approach at register transfer level

  • 作者:Hartenstein,Reiner W.
  • ISBN:0444850074
  • 出版社:Amsterdam ; New York : North-Holland Pub. Co. ; New York : distributors for the U.S.A. and Canada, E
  • 出版年:1977

Hardware Design Verification: Simulation and Formal Methods-Based Approaches

  • 作者:Lam W.K. et al.
  • ISBN:0137010923 924.35
  • 出版社:Prentice-Hall, 2005,
  • 出版年:2005

Hardware Design Verification: Simulation and Formal Methods-Based Approaches

  • 作者:Lam W.K. et al.
  • ISBN:0137010923
  • 出版社:Prentice-Hall, 2005,
  • 出版年:2005