Kód: 12519283
Verified Functional Programming in Agda
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Pevná
- Počet strán: 284
Nakladateľ: Morgan & Claypool Publishers, 2016
- Viac informácií o knihe
Mohlo by sa vám tiež páčiť
-
Verified Functional Programming in Agda
90.66 € -
The Moral Landscape
16.15 € -20 % -
Geruch nach Kreide
11.07 € -9 % -
Die Senne entdecken
34.35 € -12 %
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Verified Functional Programming in Agda
Nákupom získate 309 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general
124.10 €
- Celý názov: Verified Functional Programming in Agda
- Autor: Aaron Stump
- Jazyk: Angličtina
- Väzba: Pevná
- Počet strán: 284
- EAN: 9781970001273
- ISBN: 1970001275
- ID: 12519283
- Nakladateľ: Morgan & Claypool Publishers
- Hmotnosť: 633 g
- Rozmery: 235 × 191 × 18 mm
- Dátum vydania: 29. February 2016
Obľúbené z iného súdka
-
C Programming Language
67.79 € -
Automate The Boring Stuff With Python, 2nd Edition
35.67 € -12 % -
C Programming Absolute Beginner's Guide
24.08 € -10 % -
Go Programming Language, The
36.38 € -
Test Driven Development for Embedded C
27.13 € -24 % -
Programming in Lua, fourth edition
38.62 € -15 % -
Effective C++
46.44 € -4 % -
Fanuc CNC Custom Macros
93.40 € -5 % -
Modern Tkinter for Busy Python Developers
31.09 € -23 % -
C++ Primer Plus
59.05 € -5 % -
Learn C the Hard Way
31.81 € -9 % -
C++ Crash Course
47.66 € -21 % -
Modern C++ Programming with Test-Driven Development
31.91 € -21 % -
C++: A Beginner's Guide, Second Edition
39.12 € -10 % -
Optimized C++
65.45 € -
C Primer Plus
66.67 € -5 % -
C All-in-One Desk Reference for Dummies
32.42 € -20 % -
C: The Complete Reference
49.90 € -18 % -
Schaum's Outline's UML
16.36 € -18 % -
Advanced C and C++ Compiling
111.09 € -
C# in Depth, 4E
48.07 € -5 % -
C++ Concurrency in Action,2E
72.57 € -
Programming
67.18 € -13 % -
Official Scratch Coding Cards, The (scratch 3.0)
19 € -10 % -
Algorithms in C, Parts 1-5
145.34 € -
C++ Templates
70.63 € -12 % -
Unit Testing:Principles, Practices and Patterns
53.86 € -4 % -
Programming PIC Microcontrollers with XC8
49.09 € -25 % -
Beginning C++23
54.78 € -16 % -
Lua 5.1 Reference Manual
16.05 € -24 % -
Modern C++ Design
57.73 € -14 % -
Practical Object-Oriented Design
39.43 € -7 % -
Head First C#, 4e
53.15 € -24 % -
C++17 - The Complete Guide
60.16 € -
Modern C++ Programming Cookbook
53.86 € -
C++ For Dummies, 7e
24.89 € -31 % -
Clean C++20
37.09 € -19 % -
Bascom-AVR Programming
23.37 € -14 % -
Hands-On Software Architecture with Golang
57.32 € -
JavaScript & JQuery - Interactive Front-End Web Development
39.02 € -26 % -
Pyqgis Programmer's Guide
53.56 € -3 % -
Beginner's Guide to Embedded C Programming
40.04 € -1 % -
Programming with QT 2e
49.39 € -
STL Pocket Reference
8.02 € -29 % -
C Programming
157.54 € -
C++ Cookbook
40.24 € -20 % -
Advanced Metaprogramming in Classic C++
100.21 € -
Practical Programming, 3e
49.70 € -1 % -
Lua Programming Gems
36.99 € -19 %
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
21 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)