Počet záznamov: 1
Model checking
Údaje o názve Model checking Záhlavie-meno Clarke, Edmund M. (Autor) Ďal.zodpovednosť Grumberg, Orna (Autor) Peled, Doron A. (Autor) Údaje o vydaní 1.vyd. Vyd.údaje Cambridge : MIT Press, 1999 Fyz.popis 314 s ISBN 0-262-03270-8 Predmet.heslá navrhovanie počítačových systémov logické obvody spracovanie dát overovanie verifikácia MDT 004.91 519.686 519.718 Krajina Spojené štáty, Spojené štáty americké Jazyk dok. angličtina Druh dok. AMG - monografia kniha
Čiar.kód Lokačná signatúra Signatúra Lokácia Dislokácia Info 284EK87136 E*87136 Fakulta elektrotechniky a informatiky Katedra aplikovanej informatiky a výpočtovej techniky FEI nedostupný
Počet záznamov: 1