Kropf, Thomas.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal hardware verification = methods and systems in comparison /
by:
Kropf, Thomas.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Correct hardware design and verification methods = 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
by:
CHARME'99 ((1999 :); Kropf, Thomas.; Pierre, Laurence.; SpringerLink (Online service)
(書目-電子資源)