Verification of digital and hybrid systems

出版社:New York : Springer, 1999.
ISBN:3540655956
出版年:1999
作者:Inan,M. Kemal
资源类型:图书
细分类型:西文文献
相关推荐

Hybrid systems III : verification and control

  • 作者:Alur,Rajeev,
  • ISBN:354061155X
  • 出版社:Berlin ; New York : Springer, c1996.
  • 出版年:1996

Optoelectronic and hybrid optical/digital systems for image and signal processing

  • 作者:Gurevich,S. B.
  • ISBN:0819437956
  • 出版社:Bellingham : SPIE, 2000.
  • 出版年:2000

Hybrid systems

  • 作者:Grossman,Robert L.
  • ISBN:3540573186
  • 出版社:Berlin ; New York : Springer, c1993.
  • 出版年:1993

Optoelectronic and hybrid optical/digital systems for image and signal processing : 21-24 Sept. 1999

  • 作者:Gurevich,Simon B.,
  • ISBN:0819437956
  • 出版社:Bellingham, Wash. : SPIE, c2000.
  • 出版年:2000

Biometric technologies and verification systems

  • 作者:Vacca,John R.
  • ISBN:9780750679671
  • 出版社:Boston, MA : Butterworth-Heinemann/Elsevier, c2007.
  • 出版年:2001

Specification and verification of concurrent systems

  • 作者:Rattray,C.
  • ISBN:3540195815
  • 出版社:London ; New York : Springer-Verlag, 1990.
  • 出版年:1990