Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Verified Functional Programming in Agda

Verified Functional Programming in Agda

av Aaron Stump

del av ACM Books-serien

Verified Functional Programming in Agda av Aaron Stump
Om Verified Functional Programming in Agda

Provides a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. The book begins with an introduction to functional programming. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781970001273
  • Format:
  • Inbunden
  • Sidor:
  • 284
  • Utgiven:
  • 29. februari 2016
  • Vikt:
  • 633 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 16. december 2024

Om Aaron Stump

Se alla böcker av Aaron Stump

Beskrivning av Verified Functional Programming in Agda

Provides a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. The book begins with an introduction to functional programming. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included.

Användarnas betyg av Verified Functional Programming in Agda



Andra köpte även...
Hitta liknande böcker
Boken Verified Functional Programming in Agda finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.