Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October ... Computer Science and General Issues)

by WolfgangPaul (Editor), Dominique Borrione (Editor)

• New

  Paperback
  2005

  $98.46

  Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrucken, Germany, in October 2005.