Name: Verified Functional Programming in Agda
Price: 1372.95 DKK
Availability: InStock
Author: Aaron Stump
ISBN: 9781970001273

Verified Functional Programming in Agda af Aaron Stump

Du sparer 0% ift. normalprisen Spar 0%

Bag 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.

Vis mere

Sprog:
Engelsk

ISBN:
9781970001273

Forlag:
Morgan & Claypool Publishers

Indbinding:
Hardback

Sideantal:
284

Udgivet:
29. februar 2016

Vægt:
633 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 6. december 2024

Normalpris

BLACK NOVEMBER
1.372,95 kr. + Fragt
~~1.372,95 kr.~~

Medlemspris

1.322,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Aaron Stump

Vis alle bøger af Aaron Stump

Beskrivelse af 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.

Brugerbedømmelser af Verified Functional Programming in Agda

Andre købte også..

Find lignende bøger

Bogen Verified Functional Programming in Agda findes i følgende kategorier:

Business og læring > Computer og IT

Verified Functional Programming in Agda - Aaron Stump - Bog

Bag om Aaron Stump

Beskrivelse af Verified Functional Programming in Agda

Brugerbedømmelser af Verified Functional Programming in Agda

Gør som tusindvis af andre bogelskere