Number of the records: 1
Handbook of model checking
Title statement Handbook of model checking / Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors Publication Cham, Switzerland : Springer, [2018] Copyright notice date ©2018 Phys.des. xxiv, 1210 stran : ilustrace ISBN 978-3-319-10574-1 (vázáno) Internal Bibliographies/Indexes Note Obsahuje bibliografické odkazy a rejstřík Another responsib. Clarke, E. M., 1945- (editor) Henzinger, T. A., 1962- (editor) Veith, Helmut (editor) Bloem, Roderick (editor) Subj. Headings počítačové systémy computer systems * software software * počítačové modelování computer modeling Form, Genre příručky handbooks and manuals Conspect 004 - Počítačová věda. Výpočetní technika. Informační technologie UDC 004.94 , 004.03 , 004.4 , (035) Country Švýcarsko Language angličtina Document kind Books Call number Barcode Location Sublocation Info M2/1513 (PřF) 3134046389 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1