Code: 12519282
Verified Functional Programming in Agda
by Aaron Stump
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 ... more
- Language:
English - Binding: Paperback
- Number of pages: 284
Publisher: Morgan & Claypool Publishers, 2016
- More about this
You might also like
-
Bridgerton: When He Was Wicked
15.16 € -
White Holes
11.21 € -21 % -
Color Me Jane
10.40 € -26 % -
Ajsedora Mun ide na jarmarok (ukrajinsky)
13.13 € -12 % -
Master of the Eclipse
11.32 € -25 % -
Wind Breaker 13
6.56 € -13 % -
Notebooks for Crime and Punishment
13.34 € -25 % -
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism
44.68 € -4 % -
Janko Muzykant
1 € -30 % -
Schöner ficken
15.36 € -10 % -
Censura Philosophiae Cartesianae (1689)
26.48 € -1 % -
Transformations in Central Europe between 1989 and 2012
127.70 € -
Reichenbach und seine Ortsteile
17.99 € -11 % -
Okanagan Slow Road
27.09 € -9 % -
Государи Московские. Бремя власти. Симеон Гордый
31.34 € -11 % -
Theorie Et Applications Des Equipollences
24.06 € -
Les missions au coeur du CPAS
57.42 € -
Censorship in South Asia
23.75 € -2 % -
American Theological Inquiry, Volume Seven, Issue Two
11.32 € -25 % -
Co drží Nizozemí
3.43 € -16 % -
Verified Functional Programming in Agda
107.98 € -
Counting and Configurations
105.76 € -9 % -
Common Ground
13.44 € -24 % -
Notes, Critical And Practical, On The Book Of Numbers
36.39 € -2 % -
CENT FOIS SUR LE METIER
15.56 € -
IN SHALLOW WATERS, VOLUME 1
31.84 € -2 % -
MY PEOPLE THE AMISH
12.02 € -25 % -
Choosing end of life nursing
27.70 € -
Paulo Freire und die Kritische Theorie
17.99 € -11 % -
Kavga Gereksiz Birlikte Kazanabiliriz
31.03 € -4 % -
Nondeterministic Mechanics
154.29 € -7 % -
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan
31.84 € -2 % -
Oriens Christianus 90 (2006)
76.64 € -
Annotated Bibliography of International Programme Evaluation
102.93 € -7 % -
Surgery, Assisted Reproductive Technology and Infertility
243.78 € -
Torrepeko zaldunak
14.96 € -
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus
14.85 € -7 % -
Jane Austen and her Works
159.85 € -
True Feelings
13.94 € -24 % -
It's a Piece of Cake or R.A.F. Slang Made Easy
28.10 € -9 % -
Estudio de la estabilidad oxidativa de las almendras
87.15 € -14 % -
Deformations of Railroad Tracks and the Means for Remedying Them
30.02 € -2 %
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 196 loyalty points
Book synopsis
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
Book details
Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general
80.78 €
- Full title: Verified Functional Programming in Agda
- Author: Aaron Stump
- Language: English
- Binding: Paperback
- Number of pages: 284
- EAN: 9781970001242
- ISBN: 1970001240
- ID: 12519282
- Publisher: Morgan & Claypool Publishers
- Weight: 540 g
- Dimensions: 235 × 191 × 20 mm
- Date of publishing: 29. February 2016
Trending among others
-
Programming in Lua, fourth edition
34.98 € -17 % -
C Programming
88.97 € -
C Programming Language
57.52 € -14 % -
C++: A Beginner's Guide, Second Edition
35.68 € -18 % -
Go Programming Language, The
40.23 € -14 % -
C++ Concurrency in Action,2E
76.84 € -9 % -
C# in Depth, 4E
46.30 € -2 % -
Pro Spring Boot 3
32.04 € -24 % -
Functional Programming in C++
43.67 € -14 % -
Test Driven Development for Embedded C
30.83 € -20 % -
Beginning C++23
45.80 € -24 % -
Little Schemer
50.04 € -
Regular Expressions Cookbook 2e
42.36 € -24 % -
Effective C++
41.14 € -19 % -
21st Century C
48.63 € -
C Interfaces and Implementations
43.67 € -14 % -
Unit Testing:Principles, Practices and Patterns
46.30 € -2 % -
C++ Templates
73.30 € -2 % -
C++17 - The Complete Guide
55.10 € -2 % -
Clean C++20
32.04 € -24 % -
Official Scratch Coding Cards, The (scratch 3.0)
14.45 € -29 % -
Pro Spring 6
42.36 € -24 % -
Instructor's Manual t/a Structure and Interpretation of Computer Programs
44.68 € -
TCL/TK Pocket Reference
7.88 € -24 % -
Zephyr RTOS Embedded C Programming
39.53 € -23 % -
Stochastic Finance with Python
45.80 € -24 % -
Understanding and Using C Pointers
39.22 € -
Modern C++ for Absolute Beginners
35.48 € -24 % -
Linux System Programming Techniques
42.66 € -2 % -
Structured Programming with COBOL Examples
14.05 € -25 % -
Introducing Erlang, 2e
39.22 € -
Automate The Boring Stuff With Python, 2nd Edition
33.05 € -30 % -
C Programming Absolute Beginner's Guide
21.73 € -24 % -
Fanuc CNC Custom Macros
73.80 € -7 % -
C: The Complete Reference
50.04 € -17 % -
Agile Principles, Patterns, and Practices in C#
73.30 € -2 % -
Art of Writing Efficient Programs
38.82 € -7 % -
Implementation Patterns
40.13 € -14 % -
Practical Fraud Prevention
46.40 € -25 % -
D Programming Language
40.13 € -14 % -
Numerical Python
25.07 € -25 % -
Optimized C++
58.13 € -
Lua Programming Gems
31.94 € -25 % -
Jumping Into C++
33.76 € -
C Programming For Dummies
25.07 € -25 % -
C++ High Performance
47.21 € -1 % -
Art Of R Programming
32.45 € -34 % -
Python in easy steps
12.53 € -23 % -
Seasoned Schemer
55.30 €
Shopping guide
Books by language
Collection points Bratislava a 12619 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25242 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)