Počet záznamů: 1
An introduction to practical formal methods using temporal logic
Údaje o názvu An introduction to practical formal methods using temporal logic / Michael Fischer Osobní jméno Fisher, Michael, 1962- (autor) Údaje o vydání First published Nakladatel Chichester : Wiley, a John Wiley & Sons, Ltd., Publication, 2011 Fyz.popis vi, 353 stran : schémata ISBN 978-0-470-02788-2 (vázáno) Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Předmět.hesla symbolická logika symbolic logic * matematická logika mathematical logic * výpočetní technika computer technology Forma, žánr učebnice textbooks Konspekt 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 164.01 , 510.6 , 004 , (075) Země vyd. Velká Británie Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M1/3622 (PřF) 3134046344 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1