Έλεγχος κατάστασης παραγγελίας
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 '95, Torino, Italy, June 5-8, 1995. Selected Papers

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Types for Proofs and Programs Stefano Berardi
Κωδικός Libristo: 05274627
ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Πλήρης περιγραφή
? points 125 b
51.63 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio Audio CD
common.buy 16.56 €
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio Audio CD
common.buy 36.77 €
Zadní pokoj Jorn Lier Horst / Βιβλίο Σκληρόδετο
common.buy 14.44 €
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Βιβλίο Χαρτόδετο
common.buy 28.89 €
Vive l'Europe ! Bizet Βιβλίο Χαρτόδετο
common.buy 16.76 €
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Βιβλίο Χαρτόδετο
common.buy 13.73 €
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 13.53 €
AUTOFAGIA VENTURA MEDINA / Βιβλίο Χαρτόδετο
common.buy 25.96 €
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Βιβλίο Χαρτόδετο
common.buy 32.02 €
Brainstorming Andrea Windolph / Βιβλίο Χαρτόδετο
common.buy 8.98 €
Weidenrute und Schwert Gerwalt Richardson / Βιβλίο Χαρτόδετο
common.buy 14.04 €
Leiden unsers Herren Jesu Christi Johannes Brassart / Βιβλίο Χαρτόδετο
common.buy 19.70 €
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Βιβλίο Χαρτόδετο
common.buy 15.25 €
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Βιβλίο Χαρτόδετο
common.buy 43.85 €
Ludwig II. Christine Tauber / Βιβλίο Σκληρόδετο
common.buy 10.80 €
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Βιβλίο Χαρτόδετο
common.buy 18.28 €
Artesanias María Leonor Aguilar García / Βιβλίο Χαρτόδετο
common.buy 25.96 €
Musikgeschichte(n) HANS BA LER / Βιβλίο binding.
common.buy 34.25 €
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Βιβλίο Χαρτόδετο
common.buy 44.45 €
Die Herren von Greifenklau Karl May / Βιβλίο Σκληρόδετο
common.buy 25.05 €

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.

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

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

Πλήρες όνομα Types for Proofs and Programs
Συγγραφέας Stefano Berardi, Mario Coppo
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 1996
Αριθμός σελίδων 298
EAN 9783540617808
ISBN 3540617809
Κωδικός Libristo 05274627
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 474
Διαστάσεις 156 x 234 x 16

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Τοπ
Bones & All Camille DeAngelis / Βιβλίο Χαρτόδετο
common.buy 10.40 €
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Βιβλίο Χαρτόδετο
common.buy 58.40 €
Restaurant and Bar Design II Zheng Siyu / Βιβλίο Σκληρόδετο
common.buy 81.24 €
Seeing Angels Emma Heathcote-James / Βιβλίο Σκληρόδετο
common.buy 27.07 €
Christmas Wish Gregory Porter / Audio Audio vinyl
common.buy 31.22 €
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Βιβλίο Χαρτόδετο
common.buy 71.03 €
2 Peter and Jude - Concordia Commentary Curtis Giese / Βιβλίο Σκληρόδετο
common.buy 110.84 €
Charles Dickens, The Story Of His Life (1870) John Camden Hotten / Βιβλίο Σκληρόδετο
common.buy 35.36 €
Spatial Analysis for Complex Territorial Systems Luca Salvati / Βιβλίο Χαρτόδετο
common.buy 218.16 €
Προετοιμαζουμε
Bloody Provost R.A.J. Tyler / Βιβλίο Σκληρόδετο
common.buy 21.21 €
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Βιβλίο Χαρτόδετο
common.buy 40.11 €
Struggle for Recognition in International Relations Murray / Βιβλίο Σκληρόδετο
common.buy 88.31 €
Audio-Vision: Sound on Screen Claudia Gorbman / Βιβλίο Χαρτόδετο
common.buy 31.01 €
Industrial Fuels Joseph Stephenson / Βιβλίο Σκληρόδετο
common.buy 33.14 €
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Βιβλίο Χαρτόδετο
common.buy 18.38 €
Heartbreaker Nick Louth / Βιβλίο Χαρτόδετο
common.buy 19.59 €
Selling Modernity Pamela E. Swett / Βιβλίο Σκληρόδετο
common.buy 174.81 €
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Βιβλίο Χαρτόδετο
common.buy 75.68 €
What Did the Biblical Writers Know and When Did They Know it? Dever / Βιβλίο Χαρτόδετο
common.buy 26.06 €
Spoken Natural Language Dialog Systems Ronnie W. Smith / Βιβλίο Σκληρόδετο
common.buy 129.94 €
Biology of Memory G. Adam / Βιβλίο Χαρτόδετο
common.buy 51.63 €
Cairo Trilogy Naguib Mahfouz / Βιβλίο Σκληρόδετο
common.buy 31.62 €
Talk Fiction Irene Kacandes / Βιβλίο Χαρτόδετο
common.buy 39.50 €
Quantum Field Theory And Beyond: Essays In Honor Of Wolfhart Zimmermann - Proceedings Of The Symposium In Honor Of Wolfhart Zimmermann's 80th Birthday Erhard Seiler / Βιβλίο Σκληρόδετο
common.buy 144.19 €

Είσοδος

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

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

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

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

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