Hardware and Software Verification and Testing : second International Haifa Verification Conference, HVC 2006 : Haifa, Israel, October 23-26, 2006 : revised selected papers /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Haifa Verification Conference Haifa, Izrael) (Autor)
Další autoři: Ur, Shmuel (Editor), Bin, Eyal (Editor), Ziv, Avi (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2006
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
Dostupné
Měsíční
Fakulta informatiky K1020.06 4200512916