Počet záznamů: 1
Model checking
Údaje o názvu Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled Osobní jméno Clarke, E. M., 1945- (autor) Nakladatel Cambridge, Massachusetts ; London : The MIT Press, [1999] Copyright ©1999 Fyz.popis xiv, 314 stran : ilustrace ISBN 978-0-262-03270-4 (vázáno) Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografické odkazy a rejstřík Dal.odpovědnost Grumberg, Orna, 1952- (autor) Peled, Doron A., 1962- (autor) Předmět.hesla počítačové systémy computer systems * formální verifikace formal verification Forma, žánr učebnice vysokých škol textbooks (higher) Konspekt 004 - Počítačová věda. Výpočetní technika. Informační technologie 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 004.03 , 004.052.42 , (075.8) Země vyd. Spojené státy americké ; Velká Británie Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M2/1506 (PřF) 3134046335 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1