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
-
Bridgerton: When He Was Wicked
227 Kč -
Penguin History of Modern Russia
423 Kč -
Wind Breaker 13
148 Kč -
White Holes
227 Kč -
Ajsedora Mun ide na jarmarok (ukrajinsky)
161 Kč -
Color Me Jane
251 Kč -
Mansfield's Book of Manly Men
537 Kč -
Notebooks for Crime and Punishment
302 Kč -
Musica Elettronica e Sound Design - Teoria e Pratica con Max 9 - Volume 1 (Quinta Edizione)
1218 Kč -
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism
1049 Kč -
Master of the Eclipse
339 Kč -
Problems in Structural Inorganic Chemistry
1973 Kč -
Pero gelové Pentel EnerGel náhradní náplň LR7 - purpurová
36 Kč -
Schöner ficken
349 Kč -
Mother Seton and the Sisters of Charity
247 Kč -
THE ART OF : LE CHÂTEAU DANS LE CIEL (ARTBOOK VO JAPONAIS)
1309 Kč -
Otherwise Engaged
253 Kč -
Abt Georg Joseph Vogler
529 Kč -
Censura Philosophiae Cartesianae (1689)
658 Kč -
Stick It!: My Life of Sex, Drums, and Rock 'n' Roll
431 Kč -
Государи Московские. Бремя власти. Симеон Гордый
758 Kč -
Reichenbach und seine Ortsteile
410 Kč -
Transformations in Central Europe between 1989 and 2012
2905 Kč -
Censorship in South Asia
591 Kč -
Sociology of Law as the Science of Norms
5806 Kč -
Arbeitsmedizin - Kurs B
671 Kč -
A New English Grammar: Structure Of Sentences And Clauses. Uses Of Forms
748 Kč -
Der kommunistische Widerstand gegen die NS-Diktatur
369 Kč -
Hokusai
707 Kč -
Co drží Nizozemí
83 Kč -
Walks Ullswater and the Eastern Lakes
98 Kč -
Tubbz Kachnička plyšová Jurský park - Trex
663 Kč -
A Pragmatic Future for Naep: Containing Costs and Updating Technologies
413 Kč -
Erlebniskarte Buen Camino - Für alle Jakobsweg-Begeisterte. Oder die, die es werden wollen
280 Kč -
The Viking She Shouldn't Crave
162 Kč -
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus
370 Kč -
Understanding the Under 3s and the Implications for Education
1385 Kč -
Deformations of Railroad Tracks and the Means for Remedying Them
748 Kč -
Paulo Freire und die Kritische Theorie
410 Kč -
Eines Erbarn Wolweisen Radts der Keyserlichen Freyen Reichs Stadt Lübeck kurtzer bericht, was hochwichtiger gebrechen und unmessiger grosser beschwer
713 Kč -
Qualidade e Seguranca de Servicos de Alimentacao
732 Kč -
Writing a Research Article or Publication - Made Easy
1236 Kč -
Hunting Roundabouts
330 Kč -
American Theological Inquiry, Volume Seven, Issue Two
282 Kč -
Choosing end of life nursing
638 Kč -
It's a Piece of Cake or R.A.F. Slang Made Easy
581 Kč -
Estudio de la estabilidad oxidativa de las almendras
7923 Kč -
Christ Crucified, or, the Marrow of the Gospel
732 Kč -
Je Comprends Tout- Tout en un CM1
338 Kč -
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan
792 Kč -
Schülerarbeitsheft Musik
320 Kč -
Theorie Et Applications Des Equipollences
561 Kč -
100+ Educational Strategies to Teach Children of Color
306 Kč -
Counting and Configurations
2417 Kč -
Yorkshire Dales and South Pennines Walks In a Box
472 Kč -
Common Ground
333 Kč -
Preisbezogene Behinderungsmissbräuche nach Art. 102 AEUV.
2813 Kč -
CENT FOIS SUR LE METIER
347 Kč -
El misterio del mar. Vol. II
565 Kč -
Vancouver Island Pilot, Etc. (Supplement.).
432 Kč -
Organisationskommunikation im Zeichen der Digitalisierung
773 Kč -
That Night and Other Satires (1915)
770 Kč -
Bridge Engineering Handbook
6200 Kč -
Bacchus & Ishtar
153 Kč -
Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht
369 Kč -
Tiny Science: Nanotechnology
246 Kč -
Verified Functional Programming in Agda
2748 Kč -
Unfailing Friendship
381 Kč -
Les missions au coeur du CPAS
1358 Kč -
Okanagan Slow Road
629 Kč -
Notes, Critical And Practical, On The Book Of Numbers
905 Kč -
Oriens Christianus 90 (2006)
1850 Kč -
Französische Chormusik
278 Kč -
Thick and Thin
180 Kč -
IN SHALLOW WATERS, VOLUME 1
792 Kč -
MY PEOPLE THE AMISH
339 Kč -
Escritos de Turín : cartas y notas de locura (fragmentos póstumos, 1888)
825 Kč -
American Jewish Year Book, Volume 26
971 Kč -
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries
439 Kč -
Kavga Gereksiz Birlikte Kazanabiliriz
711 Kč -
My Precious Life
659 Kč -
Nondeterministic Mechanics
3530 Kč -
Ley de Régimen Jurídico del Sector Público
504 Kč -
Organometallic Oxidation Catalysis
4705 Kč -
Annotated Bibliography of International Programme Evaluation
2356 Kč -
Surgery, Assisted Reproductive Technology and Infertility
6019 Kč -
A Sketch of the Tobacco Interests in North Carolina: An Account of the Culture, Handling and Manufacture of the Staple
610 Kč -
True Feelings
396 Kč -
Jane Austen and her Works
3657 Kč -
Intra-Africa Migrations
5806 Kč -
Miss Bertha and the Yankee ('The Duel in Herne Wood')
323 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Verified Functional Programming in Agda
Nákupem získáte 201 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
2008 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
1309 Kč -
Test Driven Development for Embedded C
704 Kč -
Modern C++ for Absolute Beginners
823 Kč -
Programming in Lua, fourth edition
816 Kč -
Beginning C++23
1062 Kč -
C++ Concurrency in Action,2E
1858 Kč -
C Programming
2082 Kč -
C++: A Beginner's Guide, Second Edition
835 Kč -
Automate The Boring Stuff With Python, 2nd Edition
881 Kč -
Modern C++ Design
1197 Kč -
C++ Coding Standards
1107 Kč -
Prolog Programming for Artificial Intelligence
1965 Kč -
Algorithms in C, Parts 1-4
1652 Kč -
Algorithms in C, Part 5
1298 Kč -
Gnu Make Book
912 Kč -
C# in Depth, 4E
1093 Kč -
Effective C++
996 Kč -
C++ Crash Course
966 Kč -
Pro Spring 6
1052 Kč -
Zephyr RTOS Embedded C Programming
902 Kč -
Numerical Python
582 Kč -
C Programming in One Hour a Day, Sams Teach Yourself
743 Kč -
Go Programming Language, The
915 Kč -
Unit Testing:Principles, Practices and Patterns
1375 Kč -
Official Scratch Coding Cards, The (scratch 3.0)
368 Kč -
C Programming Absolute Beginner's Guide
503 Kč -
C++17 - The Complete Guide
1301 Kč -
Fanuc CNC Custom Macros
1837 Kč -
Pro Spring Boot 3
1153 Kč -
Functional Programming in C++
996 Kč -
Types and Programming Languages
2239 Kč -
Little Schemer
1186 Kč -
Accelerated C++
1152 Kč -
Agile Principles, Patterns, and Practices in C#
1730 Kč -
Quantitative Trading Strategies Using Python
902 Kč -
Art of Writing Efficient Programs
965 Kč -
Understanding and Using C Pointers
927 Kč -
Practical TLA+
743 Kč -
21st Century C
1002 Kč -
C++ High Performance
1114 Kč -
C Interfaces and Implementations
1199 Kč -
Regular Expressions Cookbook 2e
982 Kč -
Beginner's Guide to Embedded C Programming
879 Kč -
Linux System Programming Techniques
1007 Kč -
Foundations of Agile Python Development
796 Kč -
Beginner's Guide to Embedded C Programming - Volume 2
879 Kč -
Programming Entity Framework
604 Kč -
Generative AI Apps with LangChain and Python
1138 Kč -
Docker and Kubernetes for Java Developers
1140 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 48717 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)