Počet záznamov: 1  

Model checking

  1. Údaje o názveModel checking
    Záhlavie-meno Clarke, Edmund M. (Autor)
    Ďal.zodpovednosť Grumberg, Orna (Autor)
    Peled, Doron A. (Autor)
    Údaje o vydaní1.vyd.
    Vyd.údajeCambridge : MIT Press, 1999
    Fyz.popis314 s
    ISBN0-262-03270-8
    Predmet.heslá navrhovanie počítačových systémov
    logické obvody
    spracovanie dát
    overovanie
    verifikácia
    MDT004.91
    519.686
    519.718
    KrajinaSpojené štáty, Spojené štáty americké
    Jazyk dok.angličtina
    Druh dok.AMG - monografia
    kniha

    kniha

    Čiar.kódLokačná signatúraSignatúraLokáciaDislokáciaInfo
    284EK87136E*87136Fakulta elektrotechniky a informatikyKatedra aplikovanej informatiky a výpočtovej techniky FEInedostupný

Počet záznamov: 1  

  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.