Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken
Boek

Verified Functional Programming In Agda

Verified Functional Programming In Agda - Stump, Aaron - ISBN: 9781970001273
Prijs: € 132,30 (onder voorbehoud)
Beschikbaarheid: Levertijd tussen de 5 en 15 werkdagen. Geen retour recht.
Bindwijze: Boek, Gebonden
Genre: Informatiekunde
Boekenliefde.nl:
Add to cart

Beschrijving

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.

Details

Titel: Verified Functional Programming In Agda
auteur: Stump, Aaron
Mediatype: Boek
Bindwijze: Gebonden
Taal: Engels
Aantal pagina's: 284
Uitgever: Morgan & Claypool Publishers
Plaats van publicatie: 01
NUR: Informatiekunde
Afmetingen: 235 x 191
ISBN/ISBN13: 9781970001273
Intern nummer: 38347869

Winkelvoorraad

Dit product is op dit moment niet op voorraad in een van onze vestigingen.