Model checking

Uložené v:
Hlavní autori: Clarke, Edmund M. (Autor), Grumberg, Orna (Autor), Peled, Doron A. (Autor)
Médium: Kniha
Jazyk:English
Vydavateľské údaje: Cambridge : MIT Press, 1999
Vydanie:1.vyd.
Predmet:
navrhovanie počítačových systémov
logické obvody
spracovanie dát
overovanie
verifikácia
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky