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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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
40 281 Ft
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 6 136 Ft
Os saberes-poderes em um jogo Massive Multiplayer Online Artur Alves De Oliveira Chagas / Book Paperback
common.buy 22 465 Ft
Geruch nach Kreide Jürgen Schmidt / Book Paperback
common.buy 3 906 Ft
Sukces jest dla ciebie Hawkins David R. / Book Hardback
common.buy 4 623 Ft
Jan Vančura Helena Albertová / Book Paperback
common.buy 2 804 Ft
Les francs-tireurs de l'armée oubliée des Cognets / Book Paperback
common.buy 9 787 Ft
UN'ANALISI DELLA PERFORMANCE FINANZIARIA DELLE BANCHE COMMERCIALI PROGRAMMATE Sonia Chabra / Book Paperback
common.buy 26 602 Ft
focolare è una bestia affamata Angelo Maria Perongini / Book Paperback
common.buy 3 521 Ft

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 32 137 Ft
Coming soon
Harp of Glory:Enzira Sebhat E Sebhat / Book Paperback
common.buy 6 016 Ft
Leukemia Cancer Classification Using Machine Learning Approach Shivani Patel / Book Paperback
common.buy 15 923 Ft
Diabetic Living Diabetes Meals by the Plate Diabetic Living Editors / Book Paperback
common.buy 7 603 Ft
Fly with Me: Adventure, Romance, Drama & Love Cortney R. Edwards / Book Paperback
common.buy 4 664 Ft
Angling Reminiscences Thomas Tod Stoddart / Book Paperback
common.buy 8 949 Ft
The Moral Landscape Sam Harris / Book Paperback
common.buy 5 590 Ft
Stoke-On-Trent & Macclesfield Ordnance Survey / Printed items Map
common.buy 5 284 Ft

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?