Code: 12519283
Verified Functional Programming in Agda
by Aaron Stump
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 typ ... more
- Language:
English - Binding: Hardback
- Number of pages: 284
Publisher: Morgan & Claypool Publishers, 2016
- More about this
You might also like
-
Sukces jest dla ciebie
12.03 € -17 % -
The Moral Landscape
14.74 € -24 % -
UN'ANALISI DELLA PERFORMANCE FINANZIARIA DELLE BANCHE COMMERCIALI PROGRAMMATE
67.90 € -14 % -
Jan Vančura
8.52 € -5 % -
Verified Functional Programming in Agda
80.14 € -
Entlarvung der Simulation von Blindheit und Schwachsichtigkeit
15.64 € -10 % -
Fly with Me: Adventure, Romance, Drama & Love
11.43 € -7 % -
Os saberes-poderes em um jogo Massive Multiplayer Online
57.37 € -14 % -
Angling Reminiscences
23.16 € -
Les francs-tireurs de l'armée oubliée
26.07 € -
Geruch nach Kreide
9.92 € -10 % -
Leukemia Cancer Classification Using Machine Learning Approach
161.79 € -14 % -
Stoke-On-Trent & Macclesfield
13.73 € -25 % -
focolare è una bestia affamata
9.52 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Verified Functional Programming in Agda
You get 267 loyalty points
Book synopsis
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.
Book details
Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general
109.63 €
- Full title: Verified Functional Programming in Agda
- Author: Aaron Stump
- Language: English
- Binding: Hardback
- Number of pages: 284
- EAN: 9781970001273
- ISBN: 1970001275
- ID: 12519283
- Publisher: Morgan & Claypool Publishers
- Weight: 633 g
- Dimensions: 235 × 191 × 18 mm
- Date of publishing: 29. February 2016
Trending among others
-
C Programming Language
58.27 € -12 % -
C++ Crash Course
41.12 € -30 % -
C Programming in One Hour a Day, Sams Teach Yourself
31.79 € -24 % -
Programming in Lua, fourth edition
34.70 € -17 % -
Test Driven Development for Embedded C
29.88 € -19 % -
Programming in Lua
44.03 € -9 % -
C++ Concurrency in Action,2E
63.79 € -1 % -
C# in Depth, 4E
45.93 € -2 % -
Unit Testing:Principles, Practices and Patterns
54.86 € -2 % -
Zephyr RTOS Embedded C Programming
38.51 € -25 % -
Fanuc CNC Custom Macros
77.43 € -7 % -
Beginning C++23
45.43 € -24 % -
C Programming Absolute Beginner's Guide
21.56 € -24 % -
Types and Programming Languages
103.51 € -12 % -
Accelerated C++
39.81 € -14 % -
Art of Writing Efficient Programs
39.01 € -5 % -
The C Programming Language
35.40 € -14 % -
Pro Cryptography and Cryptanalysis with C++23
48.84 € -24 % -
C++ Templates
72.71 € -2 % -
C++: A Beginner's Guide, Second Edition
36 € -16 % -
Go Programming Language, The
41.72 € -10 % -
Effective C++
43.82 € -13 % -
C++17 - The Complete Guide
54.66 € -2 % -
Pro Spring 6
42.02 € -24 % -
Pro Spring Boot 3
50.04 € -10 % -
Numerical Python
24.87 € -25 % -
Regular Expressions Cookbook 2e
42.02 € -24 % -
Linux System Programming Techniques
42.32 € -2 % -
Structured Programming with COBOL Examples
13.93 € -25 % -
Official Scratch Coding Cards, The (scratch 3.0)
14.33 € -29 % -
Functional Programming in C++
43.32 € -14 % -
Clean C++20
31.79 € -24 % -
Little Schemer
47.34 € -
Agile Principles, Patterns, and Practices in C#
72.71 € -2 % -
Quantitative Trading Strategies Using Python
38.51 € -25 % -
Understanding and Using C Pointers
33.39 € -25 % -
TCL/TK Pocket Reference
7.81 € -24 % -
Practical TLA+
31.79 € -24 % -
Optimized C++
57.67 € -
Stochastic Finance with Python
45.43 € -24 % -
C Interfaces and Implementations
43.32 € -14 % -
21st Century C
48.24 € -
Lua Programming Gems
31.69 € -25 % -
C++ High Performance
46.83 € -1 % -
Beginner's Guide to Embedded C Programming
35.10 € -7 % -
Programming in Ada 2022
104.51 € -
Foundations of Agile Python Development
31.79 € -24 % -
Beginner's Guide to Embedded C Programming - Volume 2
35.10 € -7 % -
Programming Entity Framework
24.87 €
Collection points Bratislava a 13392 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
26788 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)