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 - Vazba: Pevná
- Počet stran: 284
Nakladatelství: Morgan & Claypool Publishers, 2016
- Více informací o knize
Mohlo by se vám také líbit
-
Verified Functional Programming in Agda
2495 Kč -
The Moral Landscape
454 Kč -
Geruch nach Kreide
305 Kč -
Die Senne entdecken
889 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Verified Functional Programming in Agda
Nákupem získáte 329 bodů
Anotace 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.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general
3288 Kč
- Plný název: Verified Functional Programming in Agda
- Autor: Aaron Stump
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 284
- EAN: 9781970001273
- ISBN: 1970001275
- ID: 12519283
- Nakladatelství: Morgan & Claypool Publishers
- Hmotnost: 633 g
- Rozměry: 235 × 191 × 18 mm
- Datum vydání: 29. February 2016
Oblíbené z jiného soudku
-
C Programming Language
1404 Kč -
Beginning C++23
1379 Kč -
Practical Object-Oriented Design
1248 Kč -
C Programming
4335 Kč -
Instructor's Manual t/a Structure and Interpretation of Computer Programs
1236 Kč -
Automate The Boring Stuff With Python, 2nd Edition
913 Kč -
C++ Concurrency in Action,2E
2058 Kč -
C# in Depth, 4E
1260 Kč -
Programming
1766 Kč -
C Programming Absolute Beginner's Guide
619 Kč -
Unit Testing:Principles, Practices and Patterns
1334 Kč -
C++ Templates
2281 Kč -
Algorithms in C, Parts 1-5
3134 Kč -
Head First C#, 4e
1610 Kč -
Modern C++ Programming Cookbook
1353 Kč -
C++ For Dummies, 7e
642 Kč -
STL Pocket Reference
215 Kč -
Programming with QT 2e
1315 Kč -
Pyqgis Programmer's Guide
1333 Kč -
Programming PIC Microcontrollers with XC8
1303 Kč -
Lua 5.1 Reference Manual
405 Kč -
Practical Programming, 3e
1274 Kč -
JavaScript & JQuery - Interactive Front-End Web Development
1012 Kč -
Pro Spring 6 with Kotlin
1385 Kč -
Go Programming Language, The
903 Kč -
Official Scratch Coding Cards, The (scratch 3.0)
476 Kč -
Programming in Lua, fourth edition
962 Kč -
C++17 - The Complete Guide
1520 Kč -
Complete Guide to Test Automation
1329 Kč -
Effective C++
1215 Kč -
Learn C the Hard Way
877 Kč -
Fanuc CNC Custom Macros
2280 Kč -
OCA Java SE 8 Programmer I Certification Guide
1598 Kč -
Functional Programming in C#
1334 Kč -
Clean C++20
1081 Kč -
Pro Spring 6
1340 Kč -
Bascom-AVR Programming
716 Kč -
Beginning Jakarta EE
1106 Kč -
Modern Tkinter for Busy Python Developers
812 Kč -
Beginning Programming with C++ For Dummies, 2e
714 Kč -
C Programming in easy steps
365 Kč -
Java EE to Jakarta EE 10 Recipes
1470 Kč -
Beginning Spring Boot 3
1209 Kč -
Coding for Kids C++
391 Kč -
Practical Rust Projects
1405 Kč -
C++ Cookbook
1153 Kč -
C++ Programming
7119 Kč -
Practical C++ Programming 2e
1008 Kč -
C Pocket Reference
593 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)