Number of the records: 1
Principles of model checking
Title statement Principles of model checking / Christel Baier, Joost-Pieter Katoen Personal name Baier, Christel (author) Publication Cambridge, Massachusetts ; London : MIT Press, [2008] Copyright notice date ©2008 Phys.des. xvii, 975 stran : ilustrace ISBN 978-0-262-02649-9 (vázáno) Internal Bibliographies/Indexes Note Obsahuje bibliografické odkazy a rejstřík Another responsib. Katoen, Joost-Pieter, 1964- (author) Subj. Headings počítačové systémy computer systems * software software * formální verifikace formal verification Form, Genre kolektivní monografie collective monographs Conspect 004 - Počítačová věda. Výpočetní technika. Informační technologie UDC 004.03 , 004.4 , (048.8:082) Country Spojené státy americké ; Velká Británie Language angličtina Document kind Books Call number Barcode Location Sublocation Info M2/1486 (PřF) 3134046287 PřF PřF, Knihovna Date due 30 days M2/1486a (PřF) 3134046288 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1