Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Verified Functional Programming in Agda

Language EnglishEnglish
Book Paperback
Book Verified Functional Programming in Agda Aaron Stump
Libristo code: 12519282
Publishers Morgan & Claypool Publishers, February 2016
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou... Full description
? points 210 b
86.44 €
169.06  лв
In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

Theorie Et Applications Des Equipollences Laisant-C-A / Book Paperback
common.buy 25.52 € 49.91 лв
Pero gelové Pentel EnerGel náhradní náplň LR7 - purpurová / Stationery items Stationery items
common.buy 2.41 € 4.72 лв
Top
Ajsedora Mun ide na jarmarok (ukrajinsky) Harriet Muncasterová / Book Hardback
common.buy 7.04 € 13.78 лв
Der kommunistische Widerstand gegen die NS-Diktatur Azad Calik / Book Paperback
common.buy 17.03 € 33.30 лв
Les missions au coeur du CPAS Thomaes-Lodefier / Book Paperback
common.buy 58.29 € 114.01 лв
Escritos de Turín : cartas y notas de locura (fragmentos póstumos, 1888) Friedrich Nietzsche / Book Paperback
common.buy 35.60 € 69.63 лв
Arbeitsmedizin - Kurs B Gerd J. Enderle / Book Paperback
common.buy 30.87 € 60.37 лв
El misterio del mar. Vol. II Stoker / Book Paperback
common.buy 24.39 € 47.69 лв
Reichenbach und seine Ortsteile Gero Fehlhauer / Book Paperback
common.buy 18.98 € 37.13 лв
THE ART OF : LE CHÂTEAU DANS LE CIEL (ARTBOOK VO JAPONAIS) / Book Paperback
common.buy 56.19 € 109.89 лв
Tubbz Kachnička plyšová Jurský park - Trex / Game/Toy Toy
common.buy 30.56 € 59.77 лв
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Book Hardback
common.buy 32.93 € 64.40 лв
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Book Paperback
common.buy 346.24 € 677.19 лв
Französische Chormusik Rupert/SWR Vokalensemble Huber / Audio Audio CD
common.buy 12.45 € 24.34 лв
Affordable
Wind Breaker 13 Jan-Christoph Müller / Book Paperback
common.buy 5.29 € 10.36 лв
Paulo Freire und die Kritische Theorie Merlin Wolf / Book Paperback
common.buy 18.98 € 37.13 лв
Musica Elettronica e Sound Design - Teoria e Pratica con Max 9 - Volume 1 (Quinta Edizione) Maurizio Giri / Book Paperback
common.buy 52.63 € 102.94 лв
Abt Georg Joseph Vogler Karl Emil von Schafhäutl / Book Paperback
common.buy 24.49 € 47.89 лв
Schülerarbeitsheft Musik Sonja Schmitt / Book Sheet
common.buy 14.76 € 28.87 лв
Kavga Gereksiz Birlikte Kazanabiliriz Sükrü Özgür / Book Paperback
common.buy 32.43 € 63.42 лв
Qualidade e Seguranca de Servicos de Alimentacao Thaisa Carvalho Volpe Balbinoti / Book Paperback
common.buy 31.95 € 62.49 лв
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus Phaneg / Book Paperback
common.buy 16.05 € 31.39 лв
Co drží Nizozemí Viktor Špaček / Book Paperback
common.buy 4.06 € 7.94 лв
Coming soon
Schöner ficken Axel Neustädter / Book Paperback
common.buy 16.15 € 31.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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Verified Functional Programming in Agda
Author Aaron Stump
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 284
EAN 9781970001242
ISBN 1970001240
Libristo code 12519282
Publishers Morgan & Claypool Publishers
Weight 540
Dimensions 191 x 235 x 20

Categories

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Verified Functional Programming in Agda Aaron Stump / Book Hardback
common.buy 118.24 € 231.26 лв
Bridge Engineering Handbook Lian Duan / Book Hardback
common.buy 266.85 € 521.91 лв
MY PEOPLE THE AMISH Joe Keim / Book Paperback
common.buy 13.06 € 25.55 лв
Penguin History of Modern Russia Robert Service / Book Paperback
common.buy 20.06 € 39.24 лв
Common Ground Donald V. Gaffney / Book Paperback
common.buy 14.61 € 28.57 лв
Stick It!: My Life of Sex, Drums, and Rock 'n' Roll Carmine Appice / Book Paperback
common.buy 20.01 € 39.14 лв
Problems in Structural Inorganic Chemistry LI / Book Paperback
common.buy 84.74 € 165.74 лв
Walks Ullswater and the Eastern Lakes Richard Hallewell / Book Paperback
common.buy 4.63 € 9.05 лв
Unfailing Friendship Kayla J Brown / Book Paperback
common.buy 16.51 € 32.29 лв
Christ Crucified, or, the Marrow of the Gospel James Durham / Book Paperback
common.buy 31.95 € 62.49 лв
That Night and Other Satires (1915) Freeman Tilden / Book Paperback
common.buy 33.34 € 65.20 лв
Okanagan Slow Road Bernadette McDonald / Book Paperback
common.buy 27.37 € 53.53 лв
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Book Hardback
common.buy 34.21 € 66.91 лв
True Feelings Carolyn Mahaney / Book Paperback
common.buy 17.34 € 33.91 лв
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Book Paperback
common.buy 12.40 € 24.24 лв
Miss Bertha and the Yankee ('The Duel in Herne Wood') Wilkie Collins / Book Paperback
common.buy 13.99 € 27.36 лв
Terminal Boredom Izumi Suzuki / E-book Adobe ePub DRM
common.buy 9.36 € 18.31 лв
A Sketch of the Tobacco Interests in North Carolina: An Account of the Culture, Handling and Manufacture of the Staple / Book Paperback
common.buy 28.20 € 55.16 лв
The Viking She Shouldn't Crave / Book Paperback
common.buy 7.10 € 13.88 лв
Understanding the Under 3s and the Implications for Education Sylvie Rayna / Book Paperback
common.buy 59.99 € 117.34 лв
A New English Grammar: Structure Of Sentences And Clauses. Uses Of Forms Edith Archibald / Book Hardback
common.buy 32.31 € 63.19 лв
Top
White Holes Carlo Rovelli / Book Paperback
common.buy 10.03 € 19.61 лв
Writing a Research Article or Publication - Made Easy M. Raza Shah / Book Paperback
common.buy 54.02 € 105.66 лв
Master of the Eclipse Adnan / Book Paperback
common.buy 14.30 € 27.97 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?