Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Verified Functional Programming in Agda

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Verified Functional Programming in Agda Aaron Stump
Κωδικός Libristo: 12519282
ΕΕκδοτικός οίκος Morgan & Claypool Publishers, Φεβρουάριος 2016
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou... Πλήρης περιγραφή
? points 214 b
88.10 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 14-21 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Co drží Nizozemí Viktor Špaček / Βιβλίο Χαρτόδετο
common.buy 3.52 €
Geschichtsunterricht an einem Montessori Schulzentrum. Ein Praktikumsbericht Anne-Katrin Frenzel / Βιβλίο Χαρτόδετο
common.buy 16.14 €
Les missions au coeur du CPAS Thomaes-Lodefier / Βιβλίο Χαρτόδετο
common.buy 57.22 €
Ajsedora Mun ide na jarmarok (ukrajinsky) Harriet Muncasterová / Βιβλίο Σκληρόδετο
common.buy 13.11 €
Ley de Régimen Jurídico del Sector Público / Βιβλίο Χαρτόδετο
common.buy 21.08 €
L'Armoise - Un remède naturel pour prévenir la transmission des virus et bactéries Barbara Simonsohn / Βιβλίο Χαρτόδετο
common.buy 19.37 €
Государи Московские. Бремя власти. Симеон Гордый Дмитрий Балашов / Βιβλίο Σκληρόδετο
common.buy 31.28 €
CENT FOIS SUR LE METIER Jan BAETENS Βιβλίο Χαρτόδετο
common.buy 15.53 €
Reichenbach und seine Ortsteile Gero Fehlhauer / Βιβλίο Χαρτόδετο
common.buy 17.96 €
Wind Breaker 13 Jan-Christoph Müller / Βιβλίο Χαρτόδετο
common.buy 6.45 €
Censura Philosophiae Cartesianae (1689) Pierre-Daniel Huet / Βιβλίο Χαρτόδετο
common.buy 29.06 €
Cinquante Merveilleux Secrets d'Alchimie: Avec une étude-préface de Papus Phaneg / Βιβλίο Χαρτόδετο
common.buy 16.44 €
Kavga Gereksiz Birlikte Kazanabiliriz Sükrü Özgür / Βιβλίο Χαρτόδετο
common.buy 30.97 €
Janko Muzykant Sienkiewicz Henryk / Βιβλίο Χαρτόδετο
common.buy 1.00 €
Torrepeko zaldunak Alaitz Olaizola Borda / Βιβλίο Χαρτόδετο
common.buy 14.93 €
Paulo Freire und die Kritische Theorie Merlin Wolf / Βιβλίο Χαρτόδετο
common.buy 17.96 €
Eines Erbarn Wolweisen Radts der Keyserlichen Freyen Reichs Stadt Lübeck kurtzer bericht, was hochwichtiger gebrechen und unmessiger grosser beschwer Carl von Reifitz / Βιβλίο Χαρτόδετο
common.buy 29.66 €
Estudio de la estabilidad oxidativa de las almendras Ana Beltrán / Βιβλίο Χαρτόδετο
common.buy 86.99 €
Theorie Et Applications Des Equipollences Laisant-C-A / Βιβλίο Χαρτόδετο
common.buy 26.33 €
Προετοιμαζουμε
Schöner ficken Axel Neustädter / Βιβλίο Χαρτόδετο
common.buy 15.33 €
Oriens Christianus 90 (2006) Hubert Kaufhold / Βιβλίο Χαρτόδετο
common.buy 76.49 €

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

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Verified Functional Programming in Agda
Συγγραφέας Aaron Stump
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2016
Αριθμός σελίδων 284
EAN 9781970001242
ISBN 1970001240
Κωδικός Libristo 12519282
ΕΕκδοτικός οίκος Morgan & Claypool Publishers
Βάρος 540
Διαστάσεις 191 x 235 x 20

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Verified Functional Programming in Agda Aaron Stump / Βιβλίο Σκληρόδετο
common.buy 118.58 €
MY PEOPLE THE AMISH Joe Keim / Βιβλίο Χαρτόδετο
common.buy 14.83 €
It's a Piece of Cake or R.A.F. Slang Made Easy C. H. Ward-Jackson / Βιβλίο Χαρτόδετο
common.buy 31.08 €
American Theological Inquiry, Volume Seven, Issue Two Gannon Murphy / Βιβλίο Χαρτόδετο
common.buy 12.81 €
True Feelings Carolyn Mahaney / Βιβλίο Χαρτόδετο
common.buy 13.92 €
IN SHALLOW WATERS, VOLUME 1 ANNIE ARMITT / Βιβλίο Σκληρόδετο
common.buy 35.11 €
Okanagan Slow Road Bernadette McDonald / Βιβλίο Χαρτόδετο
common.buy 27.04 €
Προετοιμαζουμε
Notebooks for Crime and Punishment Fyodor Dostoyevsky / Βιβλίο Χαρτόδετο
common.buy 13.31 €
Transformations in Central Europe between 1989 and 2012 Tomas Kavaliauskas / Βιβλίο Σκληρόδετο
common.buy 140.18 €
Stick It!: My Life of Sex, Drums, and Rock 'n' Roll Carmine Appice / Βιβλίο Χαρτόδετο
common.buy 19.97 €
Common Ground Donald V. Gaffney / Βιβλίο Χαρτόδετο
common.buy 15.13 €
Journey To The North Of India V1: Overland From England, Through Russia, Persia And Afghanistan Arthur Conolly / Βιβλίο Χαρτόδετο
common.buy 35.11 €
Τοπ
Bridgerton: When He Was Wicked Julia Quinn / Βιβλίο Χαρτόδετο
common.buy 9.68 €
Tiny Science: Nanotechnology ANNA CLAYBOURNE / Βιβλίο Χαρτόδετο
common.buy 10.39 €
Pagans in the Early Modern Baltic – Sixteenth–Century Ethnographic Accounts of Baltic Paganism Francis Young / Βιβλίο Χαρτόδετο
common.buy 44.40 €
Master of the Eclipse Adnan / Βιβλίο Χαρτόδετο
common.buy 12.81 €
Τοπ
White Holes Carlo Rovelli / Βιβλίο Χαρτόδετο
common.buy 10.79 €
Censorship in South Asia Raminder Kaur / Βιβλίο Χαρτόδετο
common.buy 26.13 €
Jane Austen and her Works Sarah Tytler / Βιβλίο Σκληρόδετο
common.buy 175.50 €
Choosing end of life nursing SUSAN BARDY / Βιβλίο Χαρτόδετο
common.buy 27.64 €
Color Me Jane Jacqui Oakley / Βιβλίο Χαρτόδετο
common.buy 11.80 €
Nondeterministic Mechanics Isaac Elishakoff / Βιβλίο Σκληρόδετο
common.buy 154.01 €
Surgery, Assisted Reproductive Technology and Infertility Gerard S. Letterie / Βιβλίο Σκληρόδετο
common.buy 243.33 €
Annotated Bibliography of International Programme Evaluation Craig Russon / Βιβλίο Χαρτόδετο
common.buy 102.73 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;