aaron stump

Grid   List

  1. Verified Functional Programming in Agda

    Ebook
    Sofort lieferbar

    Agda is an advanced programming language based on Type Theory. Agda's type system is expressive e...

    65,49 €
    Alle Preise inkl. MwSt
  2. Verified Functional Programming in Agda

    Buch
    Bezug 6-10

    Agda is an advanced programming language based on Type Theory. Agda's type system is expressive e...

    154,22 €
    Alle Preise inkl. MwSt | zzgl. Versand
  3. Verified Functional Programming in Agda

    Taschenbuch
    Bezug 11-15

    Agda is an advanced programming language based on Type Theory. Agda's type system is expressive e...

    141,35 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1