Correct Hardware design and verification methods /
Margaria,T(ed)
Correct Hardware design and verification methods / Margaria,T(ed). - 11th IFIP 10.5 Advan - Berlin: Springer, 2001. - xii,481p;23cm - LNCS 2144 .
Includes bibliographical references.
3540425411
004 LEC
Correct Hardware design and verification methods / Margaria,T(ed). - 11th IFIP 10.5 Advan - Berlin: Springer, 2001. - xii,481p;23cm - LNCS 2144 .
Includes bibliographical references.
3540425411
004 LEC