Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verified Functional Programming in Agda

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Verified Functional Programming in Agda Aaron Stump
Libristo kod: 12519283
Nakladnici Morgan & Claypool Publishers, veljača 2016
Provides a systematic exposition of external and internal verification in Agda, suitable for undergr... Cijeli opis
? points 261 b
108.23 €
Vanjske zalihe Šaljemo za 10-18 dana

Do 30 dana za povrat

Kupci su kupili i

Entlarvung der Simulation von Blindheit und Schwachsichtigkeit August Roth / Knjiga Meki uvez
common.buy 15.80 €
Os saberes-poderes em um jogo Massive Multiplayer Online Artur Alves De Oliveira Chagas / Knjiga Meki uvez
common.buy 57.96 €
Geruch nach Kreide Jürgen Schmidt / Knjiga Meki uvez
common.buy 10.02 €
Sukces jest dla ciebie Hawkins David R. / Knjiga Tvrdi uvez
common.buy 12.25 €
Jan Vančura Helena Albertová / Knjiga Meki uvez
common.buy 7.49 €
Les francs-tireurs de l'armée oubliée des Cognets / Knjiga Meki uvez
common.buy 26.44 €
UN'ANALISI DELLA PERFORMANCE FINANZIARIA DELLE BANCHE COMMERCIALI PROGRAMMATE Sonia Chabra / Knjiga Meki uvez
common.buy 68.60 €
focolare è una bestia affamata Angelo Maria Perongini / Knjiga Meki uvez
common.buy 9.41 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Verified Functional Programming in Agda
Autor Aaron Stump
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2016
Broj stranica 284
EAN 9781970001273
ISBN 1970001275
Libristo kod 12519283
Nakladnici Morgan & Claypool Publishers
Težina 633
Dimenzije 191 x 235 x 18

Kategorija

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Verified Functional Programming in Agda Aaron Stump / Knjiga Meki uvez
common.buy 84.72 €
Leukemia Cancer Classification Using Machine Learning Approach Shivani Patel / Knjiga Meki uvez
common.buy 41.03 €
Diabetic Living Diabetes Meals by the Plate Diabetic Living Editors / Knjiga Meki uvez
common.buy 19.45 €
Fly with Me: Adventure, Romance, Drama & Love Cortney R. Edwards / Knjiga Meki uvez
common.buy 12.15 €
Angling Reminiscences Thomas Tod Stoddart / Knjiga Meki uvez
common.buy 23.50 €
The Moral Landscape Sam Harris / Knjiga Meki uvez
common.buy 14.48 €
Stoke-On-Trent & Macclesfield Ordnance Survey / Tiskanica Mapa
common.buy 13.98 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?