Έλεγχος κατάστασης παραγγελίας
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: 12519283
ΕΕκδοτικός οίκος Morgan & Claypool Publishers, Φεβρουάριος 2016
Provides a systematic exposition of external and internal verification in Agda, suitable for undergr... Πλήρης περιγραφή
? points 288 b
118.56 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 10-18 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Entlarvung der Simulation von Blindheit und Schwachsichtigkeit August Roth / Βιβλίο Χαρτόδετο
common.buy 15.73 €
Os saberes-poderes em um jogo Massive Multiplayer Online Artur Alves De Oliveira Chagas / Βιβλίο Χαρτόδετο
common.buy 57.71 €
Geruch nach Kreide Jürgen Schmidt / Βιβλίο Χαρτόδετο
common.buy 9.98 €
Sukces jest dla ciebie Hawkins David R. / Βιβλίο Σκληρόδετο
common.buy 13.01 €
Jan Vančura Helena Albertová / Βιβλίο Χαρτόδετο
common.buy 7.86 €
Les francs-tireurs de l'armée oubliée des Cognets / Βιβλίο Χαρτόδετο
common.buy 27.54 €
UN'ANALISI DELLA PERFORMANCE FINANZIARIA DELLE BANCHE COMMERCIALI PROGRAMMATE Sonia Chabra / Βιβλίο Χαρτόδετο
common.buy 68.30 €
focolare è una bestia affamata Angelo Maria Perongini / Βιβλίο Χαρτόδετο
common.buy 9.88 €

Provides a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. The book begins with an introduction to functional programming. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included.

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

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

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

Κατηγορία

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 88.08 €
Leukemia Cancer Classification Using Machine Learning Approach Shivani Patel / Βιβλίο Χαρτόδετο
common.buy 40.86 €
Fly with Me: Adventure, Romance, Drama & Love Cortney R. Edwards / Βιβλίο Χαρτόδετο
common.buy 12.70 €
Angling Reminiscences Thomas Tod Stoddart / Βιβλίο Χαρτόδετο
common.buy 23.40 €
The Moral Landscape Sam Harris / Βιβλίο Χαρτόδετο
common.buy 14.42 €
Stoke-On-Trent & Macclesfield Ordnance Survey / Έντυπα Χάρτης
common.buy 13.92 €

Είσοδος

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

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

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

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

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