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 - Vazba: Brožovaná
- Počet stran: 284
Nakladatelství: Morgan & Claypool Publishers, 2016
- Více informací o knize
Mohlo by se vám také líbit
-
White Holes
227 Kč -
Bridgerton: When He Was Wicked
219 Kč -
Color Me Jane
251 Kč -
Ajsedora Mun ide na jarmarok (ukrajinsky)
319 Kč -
Master of the Eclipse
257 Kč -
Wind Breaker 13
148 Kč -
Notebooks for Crime and Punishment
303 Kč -
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism
971 Kč -
Janko Muzykant
25 Kč -
Schöner ficken
349 Kč -
Censura Philosophiae Cartesianae (1689)
641 Kč -
Государи Московские. Бремя власти. Симеон Гордый
758 Kč -
Transformations in Central Europe between 1989 and 2012
2936 Kč -
Okanagan Slow Road
607 Kč -
Reichenbach und seine Ortsteile
410 Kč -
Censorship in South Asia
576 Kč -
American Theological Inquiry, Volume Seven, Issue Two
275 Kč -
Co drží Nizozemí
83 Kč -
Verified Functional Programming in Agda
2483 Kč -
Theorie Et Applications Des Equipollences
582 Kč -
Les missions au coeur du CPAS
1387 Kč -
Notes, Critical And Practical, On The Book Of Numbers
881 Kč -
IN SHALLOW WATERS, VOLUME 1
772 Kč -
MY PEOPLE THE AMISH
292 Kč -
Paulo Freire und die Kritische Theorie
410 Kč -
Nondeterministic Mechanics
3532 Kč -
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan
772 Kč -
Counting and Configurations
2417 Kč -
Common Ground
325 Kč -
Torrepeko zaldunak
362 Kč -
Surgery, Assisted Reproductive Technology and Infertility
5607 Kč -
Oriens Christianus 90 (2006)
1856 Kč -
Annotated Bibliography of International Programme Evaluation
2357 Kč -
CENT FOIS SUR LE METIER
376 Kč -
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus
361 Kč -
Jane Austen and her Works
3676 Kč -
True Feelings
314 Kč -
Choosing end of life nursing
639 Kč -
It's a Piece of Cake or R.A.F. Slang Made Easy
642 Kč -
Estudio de la estabilidad oxidativa de las almendras
1987 Kč -
Kavga Gereksiz Birlikte Kazanabiliriz
712 Kč -
Deformations of Railroad Tracks and the Means for Remedying Them
728 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 196 bodů
Anotace 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
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general
1955 Kč
- Plný název: Verified Functional Programming in Agda
- Autor: Aaron Stump
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 284
- EAN: 9781970001242
- ISBN: 1970001240
- ID: 12519282
- Nakladatelství: Morgan & Claypool Publishers
- Hmotnost: 540 g
- Rozměry: 235 × 191 × 20 mm
- Datum vydání: 29. February 2016
Oblíbené z jiného soudku
-
Little Schemer
1158 Kč -
Regular Expressions Cookbook 2e
956 Kč -
C Programming Language
1309 Kč -
C++ Concurrency in Action,2E
1703 Kč -
Programming in Lua, fourth edition
795 Kč -
Go Programming Language, The
915 Kč -
C++ Templates
1684 Kč -
Linux System Programming Techniques
981 Kč -
Unit Testing:Principles, Practices and Patterns
1064 Kč -
C Programming
1956 Kč -
C++17 - The Complete Guide
1267 Kč -
Pro Spring Boot 3
775 Kč -
Functional Programming in C++
996 Kč -
Effective C++
996 Kč -
Test Driven Development for Embedded C
700 Kč -
Official Scratch Coding Cards, The (scratch 3.0)
325 Kč -
C Programming Absolute Beginner's Guide
490 Kč -
Pro Spring 6
1025 Kč -
Beginning C++23
1034 Kč -
Zephyr RTOS Embedded C Programming
894 Kč -
21st Century C
1121 Kč -
C Interfaces and Implementations
996 Kč -
C++ High Performance
1084 Kč -
Foundations of Agile Python Development
775 Kč -
Generative AI Apps with LangChain and Python
1108 Kč -
Mastering Assembly Programming
947 Kč -
C++: A Beginner's Guide, Second Edition
812 Kč -
C# in Depth, 4E
1071 Kč -
Clean C++20
723 Kč -
Automate The Boring Stuff With Python, 2nd Edition
801 Kč -
Instructor's Manual t/a Structure and Interpretation of Computer Programs
1035 Kč -
TCL/TK Pocket Reference
178 Kč -
Stochastic Finance with Python
1034 Kč -
Understanding and Using C Pointers
904 Kč -
Modern C++ for Absolute Beginners
801 Kč -
Programming in Ada 2022
2427 Kč -
Structured Programming with COBOL Examples
341 Kč -
Introducing Erlang, 2e
904 Kč -
Modern C++ Design
1198 Kč -
Fanuc CNC Custom Macros
1690 Kč -
C++: The Complete Reference
1326 Kč -
Agile Principles, Patterns, and Practices in C#
1684 Kč -
C: The Complete Reference
1137 Kč -
Art of Writing Efficient Programs
940 Kč -
Quantitative Trading Strategies Using Python
879 Kč -
Implementation Patterns
915 Kč -
Practical Fraud Prevention
1124 Kč -
D Programming Language
915 Kč -
Numerical Python
568 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 47531 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)