Number of the records: 1
Handbook of model checking
Údaje o názvu Handbook of model checking / Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors Nakladatel Cham, Switzerland : Springer, [2018] Copyright ©2018 Fyz.popis xxiv, 1210 stran : ilustrace ISBN 978-3-319-10574-1 (vázáno) Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografické odkazy a rejstřík Dal.odpovědnost Clarke, E. M., 1945- (editor) Henzinger, T. A., 1962- (editor) Veith, Helmut (editor) Bloem, Roderick (editor) Předmět.hesla počítačové systémy computer systems * software software * počítačové modelování computer modeling Forma, žánr příručky handbooks and manuals Konspekt 004 - Počítačová věda. Výpočetní technika. Informační technologie MDT 004.94 , 004.03 , 004.4 , (035) Země vyd. Švýcarsko Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M2/1513 (PřF) 3134046389 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Number of the records: 1