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 (paperback)
Boek Verified Functional Programming in Agda Aaron Stump
Libristo-code: 12519282
Uitgeverij Morgan & Claypool Publishers, februari 2016
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou... Volledige beschrijving
? points 205 b
84.65 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Co drží Nizozemí Viktor Špaček / Boek Gebonden (paperback)
common.buy 3.53 €
Wind Breaker 13 Jan-Christoph Müller / Boek Gebonden (paperback)
common.buy 6.57 €
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Boek Gebonden (harde band)
common.buy 33.10 €
Les missions au coeur du CPAS Thomaes-Lodefier / Boek Gebonden (paperback)
common.buy 57.41 €
Ajsedora Mun ide na jarmarok (ukrajinsky) Harriet Muncasterová / Boek Gebonden (harde band)
common.buy 13.96 €
Ley de Régimen Jurídico del Sector Público / Boek Gebonden (paperback)
common.buy 21.15 €
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn / Boek Gebonden (paperback)
common.buy 19.33 €
CENT FOIS SUR LE METIER Jan BAETENS Boek Gebonden (paperback)
common.buy 15.58 €
Reichenbach und seine Ortsteile Gero Fehlhauer / Boek Gebonden (paperback)
common.buy 18.01 €
Censura Philosophiae Cartesianae (1689) Pierre-Daniel Huet / Boek Gebonden (paperback)
common.buy 27.84 €
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus Phaneg / Boek Gebonden (paperback)
common.buy 15.69 €
Kavga Gereksiz Birlikte Kazanabiliriz Sükrü Özgür / Boek Gebonden (paperback)
common.buy 31.08 €
Janko Muzykant Sienkiewicz Henryk / Boek Gebonden (paperback)
common.buy 1.00 €
Torrepeko zaldunak Alaitz Olaizola Borda / Boek Gebonden (paperback)
common.buy 14.98 €
Paulo Freire und die Kritische Theorie Merlin Wolf / Boek Gebonden (paperback)
common.buy 18.01 €
Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht Anne-Katrin Frenzel / Boek Gebonden (paperback)
common.buy 16.19 €
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Boek Gebonden (paperback)
common.buy 87.28 €
Theorie Et Applications Des Equipollences Laisant-C-A / Boek Gebonden (paperback)
common.buy 25.20 €
Wordt verwacht
Schöner ficken Axel Neustädter / Boek Gebonden (paperback)
common.buy 15.38 €
Oriens Christianus 90 (2006) Hubert Kaufhold / Boek Gebonden (paperback)
common.buy 80.59 €

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of

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 (paperback)
Datum van uitgifte 2016
Aantal pagina's 284
EAN 9781970001242
ISBN 1970001240
Libristo-code 12519282
Uitgeverij Morgan & Claypool Publishers
Gewicht 540
Afmetingen 191 x 235 x 20

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 (harde band)
common.buy 113.61 €
Wordt verwacht
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Boek Gebonden (paperback)
common.buy 14.27 €
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Boek Gebonden (paperback)
common.buy 29.66 €
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Boek Gebonden (paperback)
common.buy 12.14 €
True Feelings Carolyn Mahaney / Boek Gebonden (paperback)
common.buy 14.88 €
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Boek Gebonden (harde band)
common.buy 33.61 €
Okanagan Slow Road Bernadette McDonald / Boek Gebonden (paperback)
common.buy 27.13 €
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Boek Gebonden (harde band)
common.buy 134.26 €
MY PEOPLE THE AMISH Joe Keim / Boek Gebonden (paperback)
common.buy 12.85 €
Common Ground Donald V. Gaffney / Boek Gebonden (paperback)
common.buy 14.27 €
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Boek Gebonden (paperback)
common.buy 33.61 €
TOP
Bridgerton: When He Was Wicked Julia Quinn / Boek Gebonden (paperback)
common.buy 9.71 €
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Boek Gebonden (paperback)
common.buy 44.75 €
Master of the Eclipse Adnan / Boek Gebonden (paperback)
common.buy 12.14 €
TOP
White Holes Carlo Rovelli / Boek Gebonden (paperback)
common.buy 11.53 €
Censorship in South Asia Raminder Kaur / Boek Gebonden (paperback)
common.buy 25.10 €
Jane Austen and her Works Sarah Tytler / Boek Gebonden (harde band)
common.buy 168.08 €
Nondeterministic Mechanics Isaac Elishakoff / Boek Gebonden (harde band)
common.buy 154.52 €
Color Me Jane Jacqui Oakley / Boek Gebonden (paperback)
common.buy 11.03 €
Surgery, Assisted Reproductive Technology and Infertility Gerard S. Letterie / Boek Gebonden (harde band)
common.buy 256.39 €
Annotated Bibliography of International Programme Evaluation Craig Russon / Boek Gebonden (paperback)
common.buy 103.07 €
Counting and Configurations Jiri Herman / Boek Gebonden (paperback)
common.buy 105.91 €
Notes, Critical And Practical, On The Book Of Numbers George Bush / Boek Gebonden (paperback)
common.buy 38.27 €
Deformations of Railroad Tracks and the Means for Remedying Them G CU NOT / Boek Gebonden (harde band)
common.buy 31.68 €

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?