Kód: 12519282
Verified Functional Programming in Agda
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 284
Nakladateľ: Morgan & Claypool Publishers, 2016
- Viac informácií o knihe
Mohlo by sa vám tiež páčiť
-
White Holes
11.31 € -21 % -
Bridgerton: When He Was Wicked
15.15 € -
Color Me Jane
10.40 € -26 % -
Ajsedora Mun ide na jarmarok (ukrajinsky)
13.13 € -12 % -
Master of the Eclipse
11.31 € -25 % -
Wind Breaker 13
6.56 € -13 % -
Notebooks for Crime and Punishment
13.43 € -24 % -
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism
44.76 € -5 % -
Janko Muzykant
1 € -30 % -
Schöner ficken
15.35 € -10 % -
Censura Philosophiae Cartesianae (1689)
26.47 € -1 % -
Государи Московские. Бремя власти. Симеон Гордый
31.32 € -11 % -
Transformations in Central Europe between 1989 and 2012
127.62 € -
Okanagan Slow Road
26.57 € -9 % -
Reichenbach und seine Ortsteile
17.98 € -11 % -
Censorship in South Asia
23.74 € -2 % -
American Theological Inquiry, Volume Seven, Issue Two
11.31 € -25 % -
Co drží Nizozemí
3.43 € -16 % -
Verified Functional Programming in Agda
107.91 € -
Theorie Et Applications Des Equipollences
24.04 € -
Les missions au coeur du CPAS
57.29 € -
Notes, Critical And Practical, On The Book Of Numbers
36.37 € -2 % -
IN SHALLOW WATERS, VOLUME 1
31.82 € -2 % -
MY PEOPLE THE AMISH
12.02 € -25 % -
Paulo Freire und die Kritische Theorie
17.98 € -11 % -
Nondeterministic Mechanics
154.20 € -7 % -
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan
31.82 € -2 % -
Counting and Configurations
105.69 € -9 % -
Common Ground
13.43 € -24 % -
Torrepeko zaldunak
14.95 € -
Surgery, Assisted Reproductive Technology and Infertility
243.63 € -
Oriens Christianus 90 (2006)
76.59 € -
Annotated Bibliography of International Programme Evaluation
102.86 € -7 % -
CENT FOIS SUR LE METIER
15.55 € -
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus
14.84 € -7 % -
Jane Austen and her Works
159.75 € -
True Feelings
13.94 € -24 % -
Choosing end of life nursing
27.68 € -
It's a Piece of Cake or R.A.F. Slang Made Easy
28.08 € -9 % -
Estudio de la estabilidad oxidativa de las almendras
87.10 € -14 % -
Kavga Gereksiz Birlikte Kazanabiliriz
31.01 € -4 % -
Deformations of Railroad Tracks and the Means for Remedying Them
30 € -2 %
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Viac informácií o knihe Verified Functional Programming in Agda
Nákupom získate 196 bodov
Anotácia knihy
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
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general
80.73 €
- Celý názov: Verified Functional Programming in Agda
- Autor: Aaron Stump
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 284
- EAN: 9781970001242
- ISBN: 1970001240
- ID: 12519282
- Nakladateľ: Morgan & Claypool Publishers
- Hmotnosť: 540 g
- Rozmery: 235 × 191 × 20 mm
- Dátum vydania: 29. February 2016
Obľúbené z iného súdka
-
Little Schemer
50.01 € -
C Programming Language
69.92 € -
C++ Concurrency in Action,2E
76.79 € -9 % -
Programming in Lua, fourth edition
34.95 € -17 % -
Go Programming Language, The
44.76 € -4 % -
C++ Templates
73.25 € -2 % -
Linux System Programming Techniques
42.63 € -2 % -
Unit Testing:Principles, Practices and Patterns
46.27 € -2 % -
C Programming
88.82 € -
C++17 - The Complete Guide
55.06 € -2 % -
Pro Spring Boot 3
32.02 € -24 % -
Functional Programming in C++
43.64 € -14 % -
Effective C++
41.22 € -19 % -
Test Driven Development for Embedded C
30.81 € -20 % -
Official Scratch Coding Cards, The (scratch 3.0)
14.44 € -29 % -
C Programming Absolute Beginner's Guide
21.72 € -24 % -
Pro Spring 6
42.33 € -24 % -
Beginning C++23
45.77 € -24 % -
Zephyr RTOS Embedded C Programming
39.50 € -23 % -
21st Century C
48.60 € -
C Interfaces and Implementations
43.64 € -14 % -
C++ High Performance
47.18 € -1 % -
Foundations of Agile Python Development
32.02 € -24 % -
Generative AI Apps with LangChain and Python
45.77 € -24 % -
Mastering Assembly Programming
39.10 € -1 % -
C++: A Beginner's Guide, Second Edition
35.66 € -18 % -
C# in Depth, 4E
46.58 € -1 % -
Clean C++20
32.02 € -24 % -
Automate The Boring Stuff With Python, 2nd Edition
33.03 € -30 % -
Instructor's Manual t/a Structure and Interpretation of Computer Programs
44.66 € -
TCL/TK Pocket Reference
7.87 € -24 % -
Stochastic Finance with Python
45.77 € -24 % -
Understanding and Using C Pointers
39.20 € -
Modern C++ for Absolute Beginners
35.46 € -24 % -
Programming in Ada 2022
105.29 € -
Structured Programming with COBOL Examples
14.04 € -25 % -
Introducing Erlang, 2e
39.20 € -
Modern C++ Design
52.54 € -14 % -
Fanuc CNC Custom Macros
73.76 € -7 % -
C++: The Complete Reference
58.30 € -18 % -
Agile Principles, Patterns, and Practices in C#
73.25 € -2 % -
C: The Complete Reference
50.01 € -17 % -
Art of Writing Efficient Programs
38.79 € -7 % -
Quantitative Trading Strategies Using Python
38.79 € -25 % -
Implementation Patterns
40.11 € -14 % -
Practical Fraud Prevention
46.37 € -25 % -
D Programming Language
40.11 € -14 % -
Numerical Python
25.05 € -25 % -
Optimized C++
58.10 €
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12820 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)