Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Verified Functional Programming in Agda

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Verified Functional Programming in Agda Aaron Stump
Libristo-code: 12519283
Uitgeverij Morgan & Claypool Publishers, februari 2016
Provides a systematic exposition of external and internal verification in Agda, suitable for undergr... Volledige beschrijving
? points 275 b
113.49 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Entlarvung der Simulation von Blindheit und Schwachsichtigkeit August Roth / Boek Gebonden (paperback)
common.buy 15.77 €
Os saberes-poderes em um jogo Massive Multiplayer Online Artur Alves De Oliveira Chagas / Boek Gebonden (paperback)
common.buy 57.85 €
Geruch nach Kreide Jürgen Schmidt / Boek Gebonden (paperback)
common.buy 10.00 €
Sukces jest dla ciebie Hawkins David R. / Boek Gebonden (harde band)
common.buy 13.04 €
Jan Vančura Helena Albertová / Boek Gebonden (paperback)
common.buy 7.88 €
Les francs-tireurs de l'armée oubliée des Cognets / Boek Gebonden (paperback)
common.buy 27.61 €
UN'ANALISI DELLA PERFORMANCE FINANZIARIA DELLE BANCHE COMMERCIALI PROGRAMMATE Sonia Chabra / Boek Gebonden (paperback)
common.buy 68.47 €
focolare è una bestia affamata Angelo Maria Perongini / Boek Gebonden (paperback)
common.buy 9.90 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Verified Functional Programming in Agda
Auteur Aaron Stump
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2016
Aantal pagina's 284
EAN 9781970001273
ISBN 1970001275
Libristo-code 12519283
Uitgeverij Morgan & Claypool Publishers
Gewicht 633
Afmetingen 191 x 235 x 18

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Verified Functional Programming in Agda Aaron Stump / Boek Gebonden (paperback)
common.buy 84.56 €
Leukemia Cancer Classification Using Machine Learning Approach Shivani Patel / Boek Gebonden (paperback)
common.buy 40.96 €
Diabetic Living Diabetes Meals by the Plate Diabetic Living Editors / Boek Gebonden (paperback)
common.buy 19.41 €
Fly with Me: Adventure, Romance, Drama & Love Cortney R. Edwards / Boek Gebonden (paperback)
common.buy 12.13 €
Angling Reminiscences Thomas Tod Stoddart / Boek Gebonden (paperback)
common.buy 23.46 €
The Moral Landscape Sam Harris / Boek Gebonden (paperback)
common.buy 14.15 €
Stoke-On-Trent & Macclesfield Ordnance Survey / Drukwerk Kaart
common.buy 14.86 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?