Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με 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

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567627
Price: 51.69 EUR
Availability: InStock
Author: Marino Miculan
ISBN: 9783540680840

International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Marino Miculan

Ivan Scagnetto

Furio Honsell

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 01567627

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Μάιος 2008

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud... Πλήρης περιγραφή

Κωδικός Libristo: 01567627

125 b

51.69 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες

Παράδοση στην Ελλάδα

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

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

You Are My TRUTH Felicitas Brandt

Χαρτόδετο

15.67 €

Zápisník Black Red tečkovaný L Χαρτικά/γραφική ύλη

Χαρτικά/γραφική ύλη

8.49 €

Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins

Σκληρόδετο

5.35 €

Nexus Yuval Noah Harari

Σκληρόδετο

21.54 €

Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel

Χαρτόδετο

28.32 €

Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla

Χαρτόδετο

33.99 €

Réponse du blé semé tardivement ? l'azote Deepak Sapkota

Χαρτόδετο

33.88 €

OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Βιβλίο

binding.

7.88 €

iPod Jude D. Biersdorfer

Χαρτόδετο

19.32 €

Szerafina és a Fekete Köpeny Robert Beatty

Σκληρόδετο

6.26 €

de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A

Χαρτόδετο

14.36 €

František Skála - Grafika František Skála

Λίστα

12.64 €

Puccini: La Boheme/Madame Butterfly RPO/Abell

Audio CD

26.40 €

Ataque a un enemigo de la libertad Cicerón

Χαρτόδετο

9.80 €

E-biznes Steve West

Χαρτόδετο

14.46 €

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.§The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Types for Proofs and Programs

Συγγραφέας Marino Miculan, Ivan Scagnetto, Furio Honsell

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2008

Αριθμός σελίδων 203

EAN 9783540680840

ISBN 3540680845

Κωδικός Libristo 01567627

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 343

Διαστάσεις 155 x 235 x 14

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists

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 > Computer architecture & logic design

Computing & Information Technology > Computer science > Artificial intelligence

Computing & Information Technology > Operating systems

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη