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

Types for Proofs and Programs

International Workshop, TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Types for Proofs and Programs Henk Barendregt
Κωδικός Libristo: 05274389
ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Πλήρης περιγραφή
? points 125 b
51.75 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

MOLLERUSSA YEGUAS I GASSO / Βιβλίο Χαρτόδετο
common.buy 11.43 €
Golem Elvire Murail / Βιβλίο Χαρτόδετο
common.buy 27.64 €
Glaces Hakim / Βιβλίο Χαρτόδετο
common.buy 29.87 €
Bakuman - Tome 13 Takeshi Obata / Βιβλίο Χαρτόδετο
common.buy 10.62 €
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Ημερολόγιο/ημερολόγιο ατζέντα Ημερολόγιο
common.buy 30.07 €
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Βιβλίο Χαρτόδετο
common.buy 9.92 €
Animales del páramo David Rodríguez / Βιβλίο Χαρτόδετο
common.buy 22.58 €
Irreverente PILAR MARTIN PEREZ / Βιβλίο Χαρτόδετο
common.buy 15.79 €
Über Leben Reinhold Messner / Βιβλίο Σκληρόδετο
common.buy 21.97 €
CI Vorrebbe Un Amico Mario Boccia / Βιβλίο Χαρτόδετο
common.buy 10.83 €
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Βιβλίο Χαρτόδετο
common.buy 19.54 €
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Βιβλίο Χαρτόδετο
common.buy 16.20 €
Aguas azules para una batalla Fabra / Ακουστικό βιβλίο MP3
common.buy 9.51 €
Jean-Claude Juncker Margaretha Kopeinig / ebook Adobe ePub DRM
common.buy 16.50 €
La Revista Moderna, Volumes 1-2... Martín Aldao / Βιβλίο Σκληρόδετο
common.buy 41.21 €
Rocker Devil. Slide und Ellen Bärbel Muschiol / Βιβλίο Χαρτόδετο
common.buy 11.84 €
Pathogenese und Klinik der Harnsteine G. Gasser / Βιβλίο Χαρτόδετο
common.buy 51.95 €
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Βιβλίο Χαρτόδετο
common.buy 11.84 €
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Audio Audio CD
common.buy 13.16 €
Management von Netzwerkorganisationen Jörg Sydow / Βιβλίο Χαρτόδετο
common.buy 77.17 €
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Βιβλίο Χαρτόδετο
common.buy 20.55 €
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Βιβλίο Χαρτόδετο
common.buy 16.20 €
Fundamentos físicos de la edificación Blasco Laffón / Βιβλίο Χαρτόδετο
common.buy 44.76 €
CRÓNICAS DE LOS SAMURÁIS R. IBARZABAL / Audio Audio CD
common.buy 29.67 €

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.

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

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

Πλήρες όνομα Types for Proofs and Programs
Συγγραφέας Henk Barendregt, Tobias Nipkow
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 1994
Αριθμός σελίδων 395
EAN 9783540580850
ISBN 3540580859
Κωδικός Libristo 05274389
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 526
Διαστάσεις 155 x 233 x 21

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Βιβλίο Χαρτόδετο
common.buy 33.21 €
Lambda Calculus with Types Henk Barendregt / Βιβλίο Σκληρόδετο
common.buy 114.74 €
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Βιβλίο Χαρτόδετο
common.buy 20.35 €
Mardi Gras Rebecca Pettiford / Βιβλίο Σκληρόδετο
common.buy 11.03 €
Biotechnology Entrepreneurship Bootcamp Arthur A. Boni / Βιβλίο Χαρτόδετο
common.buy 63.49 €
Against Distance Peter Makuck / Βιβλίο Χαρτόδετο
common.buy 11.33 €
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Βιβλίο Χαρτόδετο
common.buy 27.34 €
The Mystic Youth Of Jesus Yogi Ramacharaka / Βιβλίο Χαρτόδετο
common.buy 19.33 €
Unfreezing the Arctic Andrew Stuhl / Βιβλίο Σκληρόδετο
common.buy 44.55 €
Pop-Up Robert Wernli / Βιβλίο Χαρτόδετο
common.buy 23.39 €
Clinton, New Terrorism and the Origins of the War on Terror Chin-Kuei Tsui / Βιβλίο Σκληρόδετο
common.buy 223.32 €
Τοπ
To Be Read at Dusk Charles Dickens / Βιβλίο Χαρτόδετο
common.buy 3.64 €
Testimonies of His Love Lisa N Aldridge - Jones / Βιβλίο Χαρτόδετο
common.buy 14.98 €
History of Modern Morocco Susan Gilson Miller / Βιβλίο Σκληρόδετο
common.buy 112.72 €
All Things New 2015 - 2016 Wayne Fowler / Βιβλίο Σκληρόδετο
common.buy 36.55 €
Φθηνά
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Βιβλίο Χαρτόδετο
common.buy 16.20 €
Ama Betty Hallock / Βιβλίο Σκληρόδετο
common.buy 24.70 €
Hiawatha Passing JEFF HAGEN / Βιβλίο Χαρτόδετο
common.buy 19.03 €
Out of the Dark Gregg Hurwitz / Βιβλίο Χαρτόδετο
common.buy 11.84 €
Handbook of Clinical Adult Genetics and Genomics Shweta Dhar / Βιβλίο Χαρτόδετο
common.buy 175.41 €
Toll Road Girls 7 J Ware / Βιβλίο Χαρτόδετο
common.buy 8.40 €
Τοπ
Your Whole Body Misha Iver / Βιβλίο Χαρτόδετο
common.buy 15.59 €
Mad about Shakespeare: From Classroom to Theatre to Emergency Room Jonathan Bate / ebook Adobe ePub DRM
common.buy 9.92 €
Φθηνά
Mothers of The Nation The Ambiguous Role of Nazi Women in The Third Reich / Βιβλίο Χαρτόδετο
common.buy 6.78 €

Είσοδος

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

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

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

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

Δημιουργία λογαριασμού Libristo