Number of the records: 1
An introduction to practical formal methods using temporal logic
Title statement An introduction to practical formal methods using temporal logic / Michael Fischer Personal name Fisher, Michael, 1962- (author) Edition statement First published Publication Chichester : Wiley, a John Wiley & Sons, Ltd., Publication, 2011 Phys.des. vi, 353 stran : schémata ISBN 978-0-470-02788-2 (vázáno) Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Subj. Headings symbolická logika symbolic logic * matematická logika mathematical logic * výpočetní technika computer technology Form, Genre učebnice textbooks Conspect 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 164.01 , 510.6 , 004 , (075) Country Velká Británie Language angličtina Document kind Books Call number Barcode Location Sublocation Info M1/3622 (PřF) 3134046344 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1