Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Verified Functional Programming in Agda
    Verified Functional Programming in Agda
    Aaron Stump
    ACM Books
    Taschenbuch
    BOD - 5 Tage

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

    114,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Verified Functional Programming in Agda
    Verified Functional Programming in Agda
    Aaron Stump
    ACM Books
    Buch
    BOD - 7 Tage

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

    163,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1