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
-
Verified Functional Programming in Agda
3360 Kč -
Three: Part(s)
722 Kč -
True Feelings
433 Kč -
IN SHALLOW WATERS, VOLUME 1
981 Kč -
Theorie Et Applications Des Equipollences
735 Kč -
Direktinvestitionen und internationale Steuerkonkurrenz
2081 Kč -
Paulo Freire und die Kritische Theorie
514 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 246 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
2455 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
-
C Programming Language
1158 Kč -
Beginning C++23
1379 Kč -
Practical Object-Oriented Design
995 Kč -
C Programming
4267 Kč -
Instructor's Manual t/a Structure and Interpretation of Computer Programs
1169 Kč -
Automate The Boring Stuff With Python, 2nd Edition
734 Kč -
C++ Concurrency in Action,2E
2059 Kč -
C# in Depth, 4E
1236 Kč -
Programming
1684 Kč -
C Programming Absolute Beginner's Guide
622 Kč -
Unit Testing:Principles, Practices and Patterns
1334 Kč -
C++ Templates
1857 Kč -
Algorithms in C, Parts 1-5
3194 Kč -
Head First C#, 4e
1350 Kč -
Modern C++ Programming Cookbook
1353 Kč -
C++ For Dummies, 7e
642 Kč -
STL Pocket Reference
212 Kč -
Programming with QT 2e
1344 Kč -
Pyqgis Programmer's Guide
1356 Kč -
Programming PIC Microcontrollers with XC8
1238 Kč -
Lua 5.1 Reference Manual
404 Kč -
Practical Programming, 3e
1298 Kč -
JavaScript & JQuery - Interactive Front-End Web Development
988 Kč -
Pro Spring 6 with Kotlin
1388 Kč -
Go Programming Language, The
860 Kč -
Official Scratch Coding Cards, The (scratch 3.0)
451 Kč -
Programming in Lua, fourth edition
962 Kč -
C++17 - The Complete Guide
1520 Kč -
Complete Guide to Test Automation
1329 Kč -
Effective C++
1158 Kč -
Learn C the Hard Way
836 Kč -
Fanuc CNC Custom Macros
2280 Kč -
OCA Java SE 8 Programmer I Certification Guide
1598 Kč -
Functional Programming in C#
1343 Kč -
Clean C++20
1036 Kč -
Pro Spring 6
1340 Kč -
Bascom-AVR Programming
697 Kč -
Beginning Jakarta EE
1052 Kč -
Modern Tkinter for Busy Python Developers
780 Kč -
Beginning Programming with C++ For Dummies, 2e
679 Kč -
C Programming in easy steps
351 Kč -
Java EE to Jakarta EE 10 Recipes
1470 Kč -
Beginning Spring Boot 3
1212 Kč -
Practical Rust Projects
1408 Kč -
C++ Cookbook
1128 Kč -
C++ Programming
6995 Kč -
Practical C++ Programming 2e
964 Kč -
C Pocket Reference
581 Kč -
Continuous Integration, Delivery, and Deployment
1398 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)