Correct Hardware Design and Verification Methods

EISBN:9783540455165
PISBN:9783540603856
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1995
版次:1995
作者:Paolo Enrico Camurati,Hans Eveking
主题词:Computer Science,Computer System Implementation,Electronics and Microelectronics,Instrumentation,Input,Output and Data Communications,Software Engineering,Logics and Meanings of Programs
语种:英语
相关推荐

Correct Hardware Design and Verification Methods

  • 作者:George J. Milne,Laurence Pierre
  • EISBN:9783540706557
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1993

Correct Hardware Design and Verification Methods

  • 作者:Daniel Geist,Enrico Tronci
  • EISBN:9783540397243
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Correct Hardware Design and Verification Methods

  • 作者:Daniel Geist,Enrico Tronci
  • EISBN:9783540397243
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Correct Hardware Design and Verification Methods

  • 作者:Tiziana Margaria,Tom Melham
  • EISBN:9783540447986
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Correct Hardware Design and Verification Methods

  • 作者:Laurence Pierre,Thomas Kropf
  • EISBN:9783540481539
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999

Correct Hardware Design and Verification Methods

  • 作者:George J. Milne,Laurence Pierre
  • EISBN:9783540706557
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1993