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
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

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.28 €
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.74 €
Os saberes-poderes em um jogo Massive Multiplayer Online Artur Alves De Oliveira Chagas / Book Paperback
common.buy 57.74 €
Geruch nach Kreide Jürgen Schmidt / Book Paperback
common.buy 9.99 €
Sukces jest dla ciebie Hawkins David R. / Book Hardback
common.buy 13.01 €
Jan Vančura Helena Albertová / Book Paperback
common.buy 7.87 €
Les francs-tireurs de l'armée oubliée des Cognets / Book Paperback
common.buy 27.55 €
UN'ANALISI DELLA PERFORMANCE FINANZIARIA DELLE BANCHE COMMERCIALI PROGRAMMATE Sonia Chabra / Book Paperback
common.buy 68.35 €
focolare è una bestia affamata Angelo Maria Perongini / Book Paperback
common.buy 9.88 €

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

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?