Concurrency and Hardware Design

EISBN:9783540361909
PISBN:9783540001997
出版社:Springer Berlin Heidelberg
出版类型:Contributed volume
出版时间:2002
版次:2002
作者:Jordi Cortadella,Alex Yakovlev,Grzegorz Rozenberg
主题词:Computer Science,Software Engineering,Programming and Operating Systems,Computer Hardware,Computer Systems Organization and Communication Networks,Software Engineering,Computation by Abstract Devices,Mathematical Logic and Formal Languages
语种:英语
相关推荐

Concurrency and Hardware Design

  • 作者:Jordi Cortadella,Alex Yakovlev,Grzegorz Rozenberg
  • EISBN:9783540361909
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Digital Hardware Design

  • 作者:Ivor Catt
  • EISBN:9781349044818
  • 出版社:Macmillan Education UK
  • 出版时间:1979

A Formal Approach to Hardware Design

  • 作者:Jørgen Staunstrup
  • EISBN:9781461527640
  • 出版社:Springer US
  • 出版时间:1994

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