Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Zertifizierte Programmierung mit abhängigen Typen: Eine pragmatische Einführung in die

Ø 0.0
0 Bewertungen
62,26 €

Two topics, rarely discussed elsewhere, are covered in detail- effective dependently typed programming (making productive use of a feature at the heart of the Coq system) and construction of domain-specific proof tactics.

Jetzt bei Ebay: