Košík

  Odznačit vybrané:   0

  1.  

      Půjčit
    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

    kniha

      Půjčit

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše