Počet záznamů: 1
Principles of model checking
Údaje o názvu Principles of model checking / Christel Baier, Joost-Pieter Katoen Osobní jméno Baier, Christel (autor) Nakladatel Cambridge, Massachusetts ; London : MIT Press, [2008] Copyright ©2008 Fyz.popis xvii, 975 stran : ilustrace ISBN 978-0-262-02649-9 (vázáno) Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografické odkazy a rejstřík Dal.odpovědnost Katoen, Joost-Pieter, 1964- (autor) Předmět.hesla počítačové systémy computer systems * software software * formální verifikace formal verification Forma, žánr kolektivní monografie collective monographs Konspekt 004 - Počítačová věda. Výpočetní technika. Informační technologie MDT 004.03 , 004.4 , (048.8:082) Země vyd. Spojené státy americké ; Velká Británie Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M2/1486 (PřF) 3134046287 PřF PřF, Knihovna Doba výp. 30 dní M2/1486a (PřF) 3134046288 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1