Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verified Functional Programming in Agda

Język AngielskiAngielski
Książka Twarda
Książka Verified Functional Programming in Agda Aaron Stump
Kod Libristo: 12519283
Wydawnictwo Morgan & Claypool Publishers, luty 2016
Provides a systematic exposition of external and internal verification in Agda, suitable for undergr... Cały opis
? points 248 b
436.59 zł
Dostępna u dostawcy Wysyłamy za 10-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Entlarvung der Simulation von Blindheit und Schwachsichtigkeit August Roth / Książka Miękka
common.buy 101.13 zł
Os saberes-poderes em um jogo Massive Multiplayer Online Artur Alves De Oliveira Chagas / Książka Miękka
common.buy 280.14 zł
Geruch nach Kreide Jürgen Schmidt / Książka Miękka
common.buy 42.70 zł
Sukces jest dla ciebie Hawkins David R. / Książka Twarda
common.buy 45.93 zł
Jan Vančura Helena Albertová / Książka Miękka
common.buy 33.54 zł
Les francs-tireurs de l'armée oubliée des Cognets / Książka Miękka
common.buy 117.25 zł
UN'ANALISI DELLA PERFORMANCE FINANZIARIA DELLE BANCHE COMMERCIALI PROGRAMMATE Sonia Chabra / Książka Miękka
common.buy 331.12 zł
focolare è una bestia affamata Angelo Maria Perongini / Książka Miękka
common.buy 40.08 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verified Functional Programming in Agda
Autor Aaron Stump
Język Angielski
Oprawa Książka - Twarda
Data wydania 2016
Liczba stron 284
EAN 9781970001273
ISBN 1970001275
Kod Libristo 12519283
Wydawnictwo Morgan & Claypool Publishers
Waga 633
Wymiary 191 x 235 x 18

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Verified Functional Programming in Agda Aaron Stump / Książka Miękka
common.buy 359.63 zł
Leukemia Cancer Classification Using Machine Learning Approach Shivani Patel / Książka Miękka
common.buy 199.35 zł
Diabetic Living Diabetes Meals by the Plate Diabetic Living Editors / Książka Miękka
common.buy 82.80 zł
Fly with Me: Adventure, Romance, Drama & Love Cortney R. Edwards / Książka Miękka
common.buy 51.67 zł
Angling Reminiscences Thomas Tod Stoddart / Książka Miękka
common.buy 100.02 zł
The Moral Landscape Sam Harris / Książka Miękka
common.buy 61.54 zł
Stoke-On-Trent & Macclesfield Ordnance Survey / Prasa Mapa
common.buy 59.43 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?