Verified Functional Programming in Agda / Libristo.pl
Verified Functional Programming in Agda

Kod: 12519283

Verified Functional Programming in Agda

Autor Aaron Stump

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 typ ... więcej

563.07 zł


Dostępna u dostawcy
Wysyłamy za 14 - 18 dni
Dodaj do schowka

Zobacz książki o podobnej tematyce

Podaruj tę książkę jeszcze dziś
  1. Zamów książkę i wybierz "Wyślij jako prezent".
  2. Natychmiast wyślemy Ci bon podarunkowy, który możesz przekazać adresatowi prezentu.
  3. Książka zostanie wysłana do adresata, a Ty o nic nie musisz się martwić.

Dowiedz się więcej

Więcej informacji o Verified Functional Programming in Agda

Za ten zakup dostaniesz 329 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Programming & scripting languages: general

563.07 zł

Ulubione w innej kategorii

O nas



Przewodnik
Na skróty
Według języka

250 000
zadowolonych klientów

Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.

Płatność
Dostawa 12.99 zł
Paczkomat 12,99 ZŁ 31975 punktów
Polska
България Hrvatska România Magyarország Slovensko Česko

Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies

Konto: Logowanie
Wszystkie książki świata w jednym miejscu. I co więcej w super cenach.

Koszyk ( pusty )

Kup za 299 zł i
zyskaj darmową dostawę.

Twoja lokalizacja: