Search results

Records found: 1  
Your query: Subject h. and keywords = "rezervační systémy"

  1. 1.Certified programming with dependent types

      Borrow
    Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / Adam Chlipala.    Cambridge, Massachusetts ; London : The MIT Press, [2013]  ©2013 . xii, 424 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Certified programming with dependent types

    book

      Borrow


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

Accept allSettingsReject all