Introduction to formal hardware verification /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Kropf, Thomas, 1961- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c1999.
Témata:
Popis
Fyzický popis:ix, 299 s.
ISBN:3-540-65445-3