Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Verified Functional Programming in Agda

Limba englezăengleză
Carte Carte broșată
Carte Verified Functional Programming in Agda Aaron Stump
Codul Libristo: 12519282
Editura Morgan & Claypool Publishers, februarie 2016
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou... Descrierea completă
? points 214 b
462.81 lei
În depozitul extern Expediem în 9-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Co drží Nizozemí Viktor Špaček / Carte Carte broșată
common.buy 18.62 lei
Wind Breaker 13 Jan-Christoph Müller / Carte Carte broșată
common.buy 36.41 lei
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Carte Copertă tare
common.buy 164.29 lei
Les missions au coeur du CPAS Thomaes-Lodefier / Carte Carte broșată
common.buy 300.49 lei
Ley de Régimen Jurídico del Sector Público / Carte Carte broșată
common.buy 110.70 lei
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn / Carte Carte broșată
common.buy 101.44 lei
CENT FOIS SUR LE METIER Jan BAETENS Carte Carte broșată
common.buy 81.46 lei
Reichenbach und seine Ortsteile Gero Fehlhauer / Carte Carte broșată
common.buy 99.88 lei
Censura Philosophiae Cartesianae (1689) Pierre-Daniel Huet / Carte Carte broșată
common.buy 152.95 lei
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus Phaneg / Carte Carte broșată
common.buy 86.67 lei
Kavga Gereksiz Birlikte Kazanabiliriz Sükrü Özgür / Carte Carte broșată
common.buy 171.15 lei
Janko Muzykant Sienkiewicz Henryk / Carte Carte broșată
common.buy 5.40 lei
Torrepeko zaldunak Alaitz Olaizola Borda / Carte Carte broșată
common.buy 78.44 lei
Paulo Freire und die Kritische Theorie Merlin Wolf / Carte Carte broșată
common.buy 99.88 lei
Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht Anne-Katrin Frenzel / Carte Carte broșată
common.buy 89.68 lei
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Carte Carte broșată
common.buy 484.04 lei
Theorie Et Applications Des Equipollences Laisant-C-A / Carte Carte broșată
common.buy 138.28 lei
Curând
Schöner ficken Axel Neustädter / Carte Carte broșată
common.buy 85.11 lei
Oriens Christianus 90 (2006) Hubert Kaufhold / Carte Carte broșată
common.buy 402.15 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Verified Functional Programming in Agda
Autor Aaron Stump
Limba engleză
Legare Carte - Carte broșată
Data publicării 2016
Număr pagini 284
EAN 9781970001242
ISBN 1970001240
Codul Libristo 12519282
Editura Morgan & Claypool Publishers
Greutatea 540
Dimensiuni 191 x 235 x 20

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Verified Functional Programming in Agda Aaron Stump / Carte Copertă tare
common.buy 566.45 lei
Curând
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Carte Carte broșată
common.buy 75.01 lei
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Carte Carte broșată
common.buy 147.33 lei
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Carte Carte broșată
common.buy 67.62 lei
True Feelings Carolyn Mahaney / Carte Carte broșată
common.buy 78.03 lei
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Carte Copertă tare
common.buy 184.37 lei
Okanagan Slow Road Bernadette McDonald / Carte Carte broșată
common.buy 149.72 lei
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Carte Copertă tare
common.buy 669.56 lei
MY PEOPLE THE AMISH Joe Keim / Carte Carte broșată
common.buy 71.68 lei
Common Ground Donald V. Gaffney / Carte Carte broșată
common.buy 79.69 lei
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Carte Carte broșată
common.buy 184.37 lei
Top
Bridgerton: When He Was Wicked Julia Quinn / Carte Carte broșată
common.buy 54.62 lei
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Carte Carte broșată
common.buy 234.63 lei
Master of the Eclipse Adnan / Carte Carte broșată
common.buy 67.62 lei
Top
White Holes Carlo Rovelli / Carte Carte broșată
common.buy 56.59 lei
Censorship in South Asia Raminder Kaur / Carte Carte broșată
common.buy 137.55 lei
Jane Austen and her Works Sarah Tytler / Carte Copertă tare
common.buy 838.34 lei
Nondeterministic Mechanics Isaac Elishakoff / Carte Copertă tare
common.buy 853.11 lei
Color Me Jane Jacqui Oakley / Carte Carte broșată
common.buy 62.00 lei
Surgery, Assisted Reproductive Technology and Infertility Gerard S. Letterie / Carte Copertă tare
common.buy 1 342.78 lei
Annotated Bibliography of International Programme Evaluation Craig Russon / Carte Carte broșată
common.buy 569.26 lei
Counting and Configurations Jiri Herman / Carte Carte broșată
common.buy 585.28 lei
Notes, Critical And Practical, On The Book Of Numbers George Bush / Carte Carte broșată
common.buy 210.38 lei
Deformations of Railroad Tracks and the Means for Remedying Them G CU NOT / Carte Copertă tare
common.buy 173.76 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?