Formal hardware verification : methods and systems in comparison /

Uloženo v:
Podrobná bibliografie
Další autoři: Kropf, Thomas, 1961- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c1997.
Edice:Lecture notes in computer science ; 1287
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dlouhodobá
do 2022-06-30
Fakulta informatiky N305 4200504533