Search results

Records found: 1  
Your query: Author Sysno = "^upol_us_auth 0276023^"

  1. 1.An introduction to practical formal methods using temporal logic

      Borrow
    An introduction to practical formal methods using temporal logic / Michael Fischer.    Chichester : Wiley, a John Wiley & Sons, Ltd., Publication, 2011 . vi, 353 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    An introduction to practical formal methods using temporal logic

    book

      Borrow


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

Accept allSettingsReject all