Number of the records: 1
Model checking
Title statement Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled Personal name Clarke, E. M., 1945- (author) Publication Cambridge, Massachusetts ; London : The MIT Press, [1999] Copyright notice date ©1999 Phys.des. xiv, 314 stran : ilustrace ISBN 978-0-262-03270-4 (vázáno) Internal Bibliographies/Indexes Note Obsahuje bibliografické odkazy a rejstřík Another responsib. Grumberg, Orna, 1952- (author) Peled, Doron A., 1962- (author) Subj. Headings počítačové systémy computer systems * formální verifikace formal verification Form, Genre učebnice vysokých škol textbooks (higher) Conspect 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 UDC 004.03 , 004.052.42 , (075.8) Country Spojené státy americké ; Velká Británie Language angličtina Document kind Books Call number Barcode Location Sublocation Info M2/1506 (PřF) 3134046335 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1