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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
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.58 €
Vanjske zalihe Šaljemo za 14-21 dana

Do 30 dana za povrat

Kupci su kupili i

Wind Breaker 13 Jan-Christoph Müller / Knjiga Meki uvez
common.buy 6.47 €
Musica Elettronica e Sound Design - Teoria e Pratica con Max 9 - Volume 1 (Quinta Edizione) Maurizio Giri / Knjiga Meki uvez
common.buy 51.49 €
Je Comprends Tout- Tout en un CM1 Safia Amor / Knjiga Tvrdi uvez
common.buy 14.16 €
CENT FOIS SUR LE METIER Jan BAETENS Knjiga Meki uvez
common.buy 14.56 €
Co drží Nizozemí Viktor Špaček / Knjiga Meki uvez
common.buy 3.33 €
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn / Knjiga Meki uvez
common.buy 18.20 €
Ley de Régimen Jurídico del Sector Público / Knjiga Meki uvez
common.buy 20.12 €
Ajsedora Mun ide na jarmarok (ukrajinsky) Harriet Muncasterová / Knjiga Tvrdi uvez
common.buy 12.43 €
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Knjiga Tvrdi uvez
common.buy 29.53 €
THE ART OF : LE CHÂTEAU DANS LE CIEL (ARTBOOK VO JAPONAIS) / Knjiga Meki uvez
common.buy 52.60 €
Les missions au coeur du CPAS Thomaes-Lodefier / Knjiga Meki uvez
common.buy 54.53 €
Tubbz Kachnička plyšová Jurský park - Trex / Igra/Igračka Igračka
common.buy 29.03 €
Theorie Et Applications Des Equipollences Laisant-C-A / Knjiga Meki uvez
common.buy 25.18 €
Reichenbach und seine Ortsteile Gero Fehlhauer / Knjiga Meki uvez
common.buy 18.00 €
Arbeitsmedizin - Kurs B Gerd J. Enderle / Knjiga Meki uvez
common.buy 29.43 €
Der kommunistische Widerstand gegen die NS-Diktatur Azad Calik / Knjiga Meki uvez
common.buy 16.18 €
Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht Anne-Katrin Frenzel / Knjiga Meki uvez
common.buy 16.18 €
Eines Erbarn Wolweisen Radts der Keyserlichen Freyen Reichs Stadt Lübeck kurtzer bericht, was hochwichtiger gebrechen und unmessiger grosser beschwer Carl von Reifitz / Knjiga Meki uvez
common.buy 27.92 €
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Knjiga Meki uvez
common.buy 348.04 €
Pripremamo
Schöner ficken Axel Neustädter / Knjiga Meki uvez
common.buy 15.37 €
Oriens Christianus 90 (2006) Hubert Kaufhold / Knjiga Meki uvez
common.buy 72.74 €
El misterio del mar. Vol. II Stoker / Knjiga Meki uvez
common.buy 22.45 €
Censura Philosophiae Cartesianae (1689) Pierre-Daniel Huet / Knjiga Meki uvez
common.buy 27.81 €
Abt Georg Joseph Vogler Karl Emil von Schafhäutl / Knjiga Meki uvez
common.buy 23.26 €

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 115.64 €
Bridge Engineering Handbook Lian Duan / Knjiga Tvrdi uvez
common.buy 261.03 €
Pripremamo
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Knjiga Meki uvez
common.buy 13.35 €
Choosing end of life nursing SUSAN BARDY / Knjiga Meki uvez
common.buy 27.71 €
Miss Bertha and the Yankee ('The Duel in Herne Wood') Wilkie Collins / Knjiga Meki uvez
common.buy 13.75 €
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Knjiga Meki uvez
common.buy 12.13 €
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Knjiga Meki uvez
common.buy 42.08 €
True Feelings Carolyn Mahaney / Knjiga Meki uvez
common.buy 13.85 €
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Knjiga Tvrdi uvez
common.buy 33.58 €
Okanagan Slow Road Bernadette McDonald / Knjiga Meki uvez
common.buy 27.11 €
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Knjiga Meki uvez
common.buy 28.12 €
MY PEOPLE THE AMISH Joe Keim / Knjiga Meki uvez
common.buy 12.84 €
Yorkshire Dales and South Pennines Walks In a Box Duncan Petersen / Knjiga Meki uvez
common.buy 20.53 €
Sociology of Law as the Science of Norms Hyden / Knjiga Tvrdi uvez
common.buy 244.44 €
Unfailing Friendship Kayla J Brown / Knjiga Meki uvez
common.buy 16.18 €
Problems in Structural Inorganic Chemistry LI / Knjiga Meki uvez
common.buy 82.96 €
Stick It!: My Life of Sex, Drums, and Rock 'n' Roll Carmine Appice / Knjiga Meki uvez
common.buy 17.29 €
Common Ground Donald V. Gaffney / Knjiga Meki uvez
common.buy 14.26 €
Tiny Science: Nanotechnology ANNA CLAYBOURNE / Knjiga Meki uvez
common.buy 10.41 €
Top
Bridgerton: When He Was Wicked Julia Quinn / Knjiga Meki uvez
common.buy 9.70 €
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Knjiga Meki uvez
common.buy 33.58 €
Intra-Africa Migrations Inocent Moyo / Knjiga Tvrdi uvez
common.buy 244.44 €
Color Me Jane Jacqui Oakley / Knjiga Meki uvez
common.buy 11.02 €
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Knjiga Tvrdi uvez
common.buy 124.54 €

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?