Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Verified Functional Programming in Agda

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verified Functional Programming in Agda Aaron Stump
Koda Libristo: 12519282
Založba Morgan & Claypool Publishers, februar 2016
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou... Celoten opis
? points 196 b
80.91 €
Na zalogi pri dobavitelju Odposlali bomo v 9-15 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Verified Functional Programming in Agda
Avtor Aaron Stump
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2016
Število strani 284
EAN 9781970001242
ISBN 1970001240
Koda Libristo 12519282
Založba Morgan & Claypool Publishers
Teža 540
Mere 191 x 235 x 20

Kategorije

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Verified Functional Programming in Agda Aaron Stump / Knjiga Trda
common.buy 108.16 €
Kmalu
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Knjiga Mehka
common.buy 12.55 €
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Knjiga Mehka
common.buy 28.15 €
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Knjiga Mehka
common.buy 11.33 €
True Feelings Carolyn Mahaney / Knjiga Mehka
common.buy 13.06 €
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Knjiga Trda
common.buy 31.89 €
Okanagan Slow Road Bernadette McDonald / Knjiga Mehka
common.buy 25.61 €
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Knjiga Trda
common.buy 127.91 €
MY PEOPLE THE AMISH Joe Keim / Knjiga Mehka
common.buy 12.04 €
Common Ground Donald V. Gaffney / Knjiga Mehka
common.buy 13.46 €
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Knjiga Mehka
common.buy 31.89 €
Top
Bridgerton: When He Was Wicked Julia Quinn / Knjiga Mehka
common.buy 9.00 €
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Knjiga Mehka
common.buy 40.20 €
Master of the Eclipse Adnan / Knjiga Mehka
common.buy 11.33 €
Top
White Holes Carlo Rovelli / Knjiga Mehka
common.buy 10.12 €
Censorship in South Asia Raminder Kaur / Knjiga Mehka
common.buy 23.79 €
Jane Austen and her Works Sarah Tytler / Knjiga Trda
common.buy 160.12 €
Nondeterministic Mechanics Isaac Elishakoff / Knjiga Trda
common.buy 146.14 €
Color Me Jane Jacqui Oakley / Knjiga Mehka
common.buy 10.42 €
Surgery, Assisted Reproductive Technology and Infertility Gerard S. Letterie / Knjiga Trda
common.buy 232.03 €
Annotated Bibliography of International Programme Evaluation Craig Russon / Knjiga Mehka
common.buy 97.53 €
Counting and Configurations Jiri Herman / Knjiga Mehka
common.buy 100.06 €
Notes, Critical And Practical, On The Book Of Numbers George Bush / Knjiga Mehka
common.buy 36.45 €
Deformations of Railroad Tracks and the Means for Remedying Them G CU NOT / Knjiga Trda
common.buy 30.07 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?