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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Semantics and Logics of Computation

Name: Semantics and Logics of Computation
Brand: Cambridge University Press
SKU: 02036048
Price: 175.94 EUR
Availability: InStock
Author: P. Dybjer
ISBN: 9780521580571

P. Dybjer

A. Pitts

Andrew M. Pitts

Γλώσσα

Αγγλική

Βιβλίο Σκληρόδετο

Κωδικός Libristo: 02036048

ΕΕκδοτικός οίκος Cambridge University Press, Ιανουάριος 1997

The aim of this volume is to present developments in semantics and logics of computation in a way th... Πλήρης περιγραφή

Κωδικός Libristo: 02036048

426 b

175.94 €

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

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

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

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

Introducción al Derecho Penal (Papel + e-book) JUAN ANTONIO LASCURAIN

Χαρτόδετο

43.80 €

Variabilita frekvencie srdca collegium

Σκληρόδετο

6.36 €

Fairy Tale David Nathan

Digital

23.67 €

Ahojte dinosaury

Χαρτόδετο

5.05 €

Wo bist du, großer Bruder? Linde Faas

Σκληρόδετο

12.64 €

Didactical Challenge of Symbolic Calculators Dominique Guin

Σκληρόδετο

151.05 €

Supporters de l'En Avant Guingamp, le manuel officieux ! R.Delanoë/E.Chartier

Χαρτόδετο

18.20 €

FERNAND PIFTEAU, LA PASSION DU PATRIMOINE ECRIT TOULOUSAIN PIC FRANCOIS

Βιβλίο

24.07 €

Starhammer il distruttore. Ultranoidi Gianluca Morozzi

Χαρτόδετο

11.93 €

Go Ralf T Hoffmann

Χαρτόδετο

9.10 €

Blutige Nachrichten, 2 Audio-CD, 2 MP3 Stephen King

Audio CD

20.33 €

BARF Kateřina Novosádová

Σκληρόδετο

13.14 €

Pop-Frauen der Gegenwart Christa Brüstle

Χαρτόδετο

25.28 €

Beitrag zum Ziehen von Blechteilen aus Aluminiumlegierungen M. Blaich

Χαρτόδετο

89.03 €

Autismus heilen. Tl.1 Kerri Rivera

Σκληρόδετο

28.72 €

Všechno nejlepší, paní Láryfáry B. MacDonaldová

Σκληρόδετο

10.92 €

Folge 085:...Als Tierarzt Ulli Herzog

Audio CD

10.92 €

2. Schuljahr, Übungsheft Thomas Auras

Λίστα

4.54 €

Doktor Barthel Karte Nationalpark Harz Verlag Dr. Barthel

Χάρτης

6.87 €

De cara a la paret Meritxell Margarit i Torras

Χαρτόδετο

11.42 €

Un cuento para cada letra (a, e, i, o, u, p, m, l, s) (Leo con Peppa Pig) Eone

Χαρτόδετο

15.87 €

Travers Paris Arnold Krause

Χαρτόδετο

24.17 €

Multi-Channel-Strategien im stationaren Einzelhandel Andreas Stolz

Χαρτόδετο

40.16 €

Se busca novia Para mi ex Kris Buendia

Χαρτόδετο

12.74 €

The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

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

EWA KASP για

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

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

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

Πλήρες όνομα Semantics and Logics of Computation

Συγγραφέας P. Dybjer, A. Pitts, Andrew M. Pitts

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Σκληρόδετο

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

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

EAN 9780521580571

ISBN 0521580579

Κωδικός Libristo 02036048

ΕΕκδοτικός οίκος Cambridge University Press

Βάρος 650

Διαστάσεις 157 x 235 x 25

Κατηγορία

Mathematics & Science > Mathematics > Discrete mathematics

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Information technology: general issues

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

Είναι εύκολο

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