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

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

Δωρεάν αποστολή με 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: 01649961
Price: 51.63 EUR
Availability: InStock
Author: Stefano Berardi
ISBN: 9783642024436

International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Stefano Berardi

Ferruccio Damiani

Ugo De Liguoro

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01649961

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

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

Κωδικός Libristo: 01649961

125 b

51.63 €

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

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

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

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

The Wiener Schnitzel Love Book! Florian Weitzer

Σκληρόδετο

29.40 €

Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois

Χαρτόδετο

34.65 €

Quitter l'ouest Robin

Χαρτόδετο

19.49 €

Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello

Χαρτόδετο

12.32 €

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Χαρτόδετο

6.76 €

Robota jak każda inna Alex W. Inker

Χαρτόδετο

15.35 €

Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp

Χαρτόδετο

25.86 €

K jak Klara 7 - Tak mi przykro Knudsen

MP3

2.42 €

Idées reçues sur le Royaume-Uni Fourton

Χαρτόδετο

17.17 €

Arbeiter, Unternehmer, Professioneller Manfred Stock

Χαρτόδετο

72.24 €

Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková

Χαρτόδετο

13.94 €

Fútbol africano II Librofutbol. Com

Χαρτόδετο

24.14 €

Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann

Audio CD

8.98 €

Das Erbe der Macht Andreas Suchanek

Χαρτόδετο

71.03 €

Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß

Σκληρόδετο

24.14 €

Faeries 13 Special Harry Potter Revue

Χαρτόδετο

12.72 €

Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez

Χαρτόδετο

18.28 €

Aufbewahrungsbox fürs Auto aus Kunststoff

Παιχνίδι

13.83 €

Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss

Χαρτόδετο

19.29 €

ANIMALES DE LA GRANJA ESTELLE TALAVERA

Σκληρόδετο

8.38 €

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008.§The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, mathematics education.

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

EWA KASP για

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

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

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

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

Συγγραφέας Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro

Γλώσσα

Αγγλική

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

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

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

EAN 9783642024436

ISBN 3642024432

Κωδικός Libristo 01649961

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

Βάρος 510

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

Κατηγορία

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 > Algorithms & data structures

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer science > Computer architecture & logic design

Computing & Information Technology > Computer science > Artificial intelligence

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

Είναι εύκολο

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

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

Real-Time Mobile Multimedia Services Dilip Krishnaswamy

Χαρτόδετο

51.63 €

Torrent des passions R V RONI SAINT-CYR

Χαρτόδετο

24.14 €

Anesthesiology Linda S. Aglio

Χαρτόδετο

170.87 €

Motivating Children with Specific Learning Difficulties GAD ELBEHERI

Χαρτόδετο

44.25 €

Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor

Χαρτόδετο

12.82 €

Algebra ROBERT SHUTLER

Χαρτόδετο

43.04 €

The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors

Χαρτόδετο

15.75 €

GREED began in the WHITE HOUSE: It helps the rich get richer, forces the poor onto welfare, and squeezes working Middle Class families. James T Kelly

Χαρτόδετο

10.60 €