Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Verified Functional Programming in Agda Aaron Stump

Verified Functional Programming in Agda

Autor: Aaron Stump
Jazyk: Angličtina
Vazba: Pevná
Vydavatel: Morgan & Claypool Publishers
Dostupnost: Skladem u dodavatele
Odesíláme za 10-18 dnů
2 409 Kč
Provides a systematic exposition of external and internal verification in Agda, suitable for undergr...

Informace o knize

Autor
Aaron Stump
Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2016
Stránek
284
EAN
9781970001273
ISBN
1970001275
Enbook ID
12519283
Vydavatel
Morgan & Claypool Publishers
Hmotnost
633
Rozměry
191 x 235 x 18

Kompletní popis

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.

Mohlo by vás zajímat

Verified Functional Programming in Agda

Aaron Stump
1 896 Kč

Harp of Glory:Enzira Sebhat

E Sebhat
371 Kč

Leukemia Cancer Classification Using Machine Learning Approach

Shivani Patel
906 Kč

Diabetic Living Diabetes Meals by the Plate

Diabetic Living Editors
429 Kč

Fly with Me: Adventure, Romance, Drama & Love

Cortney R. Edwards
271 Kč

Angling Reminiscences

Thomas Tod Stoddart
527 Kč

The Moral Landscape

Sam Harris
315 Kč

Stoke-On-Trent & Macclesfield

Ordnance Survey
305 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Entlarvung der Simulation von Blindheit und Schwachsichtigkeit

August Roth
349 Kč

Os saberes-poderes em um jogo Massive Multiplayer Online

Artur Alves De Oliveira Chagas
1 278 Kč

Geruch nach Kreide

Jürgen Schmidt
222 Kč

Sukces jest dla ciebie

Hawkins David R.
306 Kč

Jan Vančura

Helena Albertová
194 Kč

Les francs-tireurs de l'armée oubliée

des Cognets
647 Kč

UN'ANALISI DELLA PERFORMANCE FINANZIARIA DELLE BANCHE COMMERCIALI PROGRAMMATE

Sonia Chabra
1 513 Kč

focolare è una bestia affamata

Angelo Maria Perongini
233 Kč