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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Verified Functional Programming in Agda

Language EnglishEnglish
Book Hardback
Book Verified Functional Programming in Agda Aaron Stump
Libristo code: 12519283
Publishers Morgan & Claypool Publishers, February 2016
Provides a systematic exposition of external and internal verification in Agda, suitable for undergr... Full description
? points 275 b
113.51 €
In stock at our supplier Shipping in 10-18 days

30-day return policy

Customers also purchased

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

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.

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 - Hardback
Date of issue 2016
Number of pages 284
EAN 9781970001273
ISBN 1970001275
Libristo code 12519283
Publishers Morgan & Claypool Publishers
Weight 633
Dimensions 191 x 235 x 18

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 Paperback
common.buy 84.58 €
Harp of Glory:Enzira Sebhat E Sebhat / Book Paperback
common.buy 13.95 €
Leukemia Cancer Classification Using Machine Learning Approach Shivani Patel / Book Paperback
common.buy 40.97 €
Diabetic Living Diabetes Meals by the Plate Diabetic Living Editors / Book Paperback
common.buy 19.42 €
Fly with Me: Adventure, Romance, Drama & Love Cortney R. Edwards / Book Paperback
common.buy 12.13 €
Angling Reminiscences Thomas Tod Stoddart / Book Paperback
common.buy 23.46 €
The Moral Landscape Sam Harris / Book Paperback
common.buy 14.46 €
Stoke-On-Trent & Macclesfield Ordnance Survey / Printed items Map
common.buy 13.95 €

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