Výsledky hledání pro autora

1

Obálka

Introduction to formal hardware verification /

Autor Kropf, Thomas, 1961-
Vydáno 1999

Kniha

2

Obálka

Formal hardware verification : methods and systems in comparison /

Vydáno 1997

Další autoři: '; “...Kropf, Thomas, 1961-...”

Kniha

3

Obálka

Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99 : Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /

Vydáno 1999

Další autoři: '; “...Kropf, Thomas, 1961-...”

Kniha