Number of the records: 1  

An introduction to practical formal methods using temporal logic

  1. Title statementAn introduction to practical formal methods using temporal logic / Michael Fischer
    Personal name Fisher, Michael, 1962- (author)
    Edition statementFirst published
    PublicationChichester : Wiley, a John Wiley & Sons, Ltd., Publication, 2011
    Phys.des.vi, 353 stran : schémata
    ISBN978-0-470-02788-2 (vázáno)
    Internal Bibliographies/Indexes NoteObsahuje 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
    Conspect510 - Obecné úvahy o matematice
    37.016 - Učební osnovy. Vyučovací předměty. Učebnice
    UDC 164.01 , 510.6 , 004 , (075)
    CountryVelká Británie
    Languageangličtina
    Document kindBooks
    View book information on page www.obalkyknih.cz

    book

    Call numberBarcodeLocationSublocationInfo
    M1/3622 (PřF)3134046344PřFPřF, KMI – Bc. KolovratníkováIn-Library Use Only
    An introduction to practical formal methods using temporal logic

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.