Počet záznamů: 1
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Údaje o názvu Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol Osobní jméno Yoeli, Michael, 1917- (autor) Vyd.údaje Hoboken, N.J. : Wiley-Interscience, c2008 Fyz.popis xv, 231 s. : il. ISBN 9780471704492 (váz.) Edice Wiley series on parallel and distributed computing Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografie, bibliografické odkazy a rejstřík Dal.odpovědnost Kol, Rakefet (autor) Předmět.hesla integrované obvody integrated circuits * software software * verifikace programů * Petriho sítě Petri nets * programovací jazyky programming languages Forma, žánr učebnice textbooks Konspekt 621.3 - Elektrotechnika 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 004.43 , 004.438LOTOS , 621.3.049.77 , 004.4 , 519.179.2 , (075) Země vyd. Spojené státy americké Jazyk dok. angličtina Druh dok. Knihy kniha
Signatura Čár.kód Lokace Dislokace Info M2/367 (PřF) 3134023595 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1