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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 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 Meki uvez
Knjiga Verified Functional Programming in Agda Aaron Stump
Libristo kod: 12519282
Nakladnici Morgan & Claypool Publishers, veljača 2016
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou... Cijeli opis
? points 205 b
84.65 €
Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Co drží Nizozemí Viktor Špaček / Knjiga Meki uvez
common.buy 3.33 €
Wind Breaker 13 Jan-Christoph Müller / Knjiga Meki uvez
common.buy 6.57 €
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Knjiga Tvrdi uvez
common.buy 29.56 €
Les missions au coeur du CPAS Thomaes-Lodefier / Knjiga Meki uvez
common.buy 54.87 €
Ajsedora Mun ide na jarmarok (ukrajinsky) Harriet Muncasterová / Knjiga Tvrdi uvez
common.buy 12.45 €
Ley de Régimen Jurídico del Sector Público / Knjiga Meki uvez
common.buy 20.24 €
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn / Knjiga Meki uvez
common.buy 18.52 €
CENT FOIS SUR LE METIER Jan BAETENS Knjiga Meki uvez
common.buy 14.88 €
Reichenbach und seine Ortsteile Gero Fehlhauer / Knjiga Meki uvez
common.buy 18.01 €
Censura Philosophiae Cartesianae (1689) Pierre-Daniel Huet / Knjiga Meki uvez
common.buy 27.84 €
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus Phaneg / Knjiga Meki uvez
common.buy 15.69 €
Kavga Gereksiz Birlikte Kazanabiliriz Sükrü Özgür / Knjiga Meki uvez
common.buy 31.08 €
Janko Muzykant Sienkiewicz Henryk / Knjiga Meki uvez
common.buy 1.00 €
Torrepeko zaldunak Alaitz Olaizola Borda / Knjiga Meki uvez
common.buy 14.37 €
Paulo Freire und die Kritische Theorie Merlin Wolf / Knjiga Meki uvez
common.buy 18.01 €
Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht Anne-Katrin Frenzel / Knjiga Meki uvez
common.buy 16.19 €
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Knjiga Meki uvez
common.buy 87.28 €
Theorie Et Applications Des Equipollences Laisant-C-A / Knjiga Meki uvez
common.buy 25.20 €
Pripremamo
Schöner ficken Axel Neustädter / Knjiga Meki uvez
common.buy 15.38 €
Oriens Christianus 90 (2006) Hubert Kaufhold / Knjiga Meki uvez
common.buy 73.00 €

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

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 - Meki uvez
Datum izdanja 2016
Broj stranica 284
EAN 9781970001242
ISBN 1970001240
Libristo kod 12519282
Nakladnici Morgan & Claypool Publishers
Težina 540
Dimenzije 191 x 235 x 20

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 Tvrdi uvez
common.buy 108.14 €
Pripremamo
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Knjiga Meki uvez
common.buy 13.46 €
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Knjiga Meki uvez
common.buy 28.14 €
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Knjiga Meki uvez
common.buy 12.14 €
True Feelings Carolyn Mahaney / Knjiga Meki uvez
common.buy 13.96 €
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Knjiga Tvrdi uvez
common.buy 33.61 €
Okanagan Slow Road Bernadette McDonald / Knjiga Meki uvez
common.buy 27.13 €
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Knjiga Tvrdi uvez
common.buy 127.88 €
MY PEOPLE THE AMISH Joe Keim / Knjiga Meki uvez
common.buy 12.85 €
Common Ground Donald V. Gaffney / Knjiga Meki uvez
common.buy 14.27 €
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Knjiga Meki uvez
common.buy 33.61 €
Top
Bridgerton: When He Was Wicked Julia Quinn / Knjiga Meki uvez
common.buy 9.71 €
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Knjiga Meki uvez
common.buy 42.42 €
Master of the Eclipse Adnan / Knjiga Meki uvez
common.buy 12.14 €
Top
White Holes Carlo Rovelli / Knjiga Meki uvez
common.buy 10.82 €
Censorship in South Asia Raminder Kaur / Knjiga Meki uvez
common.buy 25.10 €
Jane Austen and her Works Sarah Tytler / Knjiga Tvrdi uvez
common.buy 160.08 €
Nondeterministic Mechanics Isaac Elishakoff / Knjiga Tvrdi uvez
common.buy 154.52 €
Color Me Jane Jacqui Oakley / Knjiga Meki uvez
common.buy 11.03 €
Surgery, Assisted Reproductive Technology and Infertility Gerard S. Letterie / Knjiga Tvrdi uvez
common.buy 244.13 €
Annotated Bibliography of International Programme Evaluation Craig Russon / Knjiga Meki uvez
common.buy 103.07 €
Counting and Configurations Jiri Herman / Knjiga Meki uvez
common.buy 105.91 €
Notes, Critical And Practical, On The Book Of Numbers George Bush / Knjiga Meki uvez
common.buy 38.27 €
Deformations of Railroad Tracks and the Means for Remedying Them G CU NOT / Knjiga Tvrdi uvez
common.buy 31.68 €

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?