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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561746
Price: 58.4 EUR
Availability: InStock
Author: Patricia M. Hill
ISBN: 9783540326540

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Patricia M. Hill

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01561746

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

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium o... Πλήρης περιγραφή

Κωδικός Libristo: 01561746

141 b

58.40 €

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

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

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

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

Patientenratgeber Mastzellaktivierungssyndrom (MCAS) Udo Berg

Χαρτόδετο

19.19 €

Le Grand Atlas géographique du monde 6e ed

Σκληρόδετο

75.07 €

Un nouvel Eden 1 - Une nouvelle erotique interstellaire Dumaitre

MP3

3.93 €

D.N. Angel Pearls 2 Yukiru Sugisaki

Χαρτόδετο

10.90 €

Ökologie des Purpurreihers (Ardea purpurea) in Numidia N. E. Algerien Boudjema Samraoui

Χαρτόδετο

48.90 €

VILLANUEVA DE CASTRO

Χαρτόδετο

21.51 €

Goodbye Istanbul Esmahan Aykol

Χαρτόδετο

14.84 €

Der Europäische Sozialstaat und seine Institutionen. Detlef Merten

Χαρτόδετο

65.88 €

DDR-Wohnungspolitik ab 1971 und ihre Darstellung in den DEFA-Filmen "Die Legende von Paul und Paula und "Insel der Schwane. Eric Richter

Χαρτόδετο

17.07 €

Resume de Repetitions Ecrites Sur Le Droit Penal. Code Penal Et Code d'Instruction Criminelle BOEUF-F

Χαρτόδετο

29.50 €

Im Herzland Günther Dellbrügger

Σκληρόδετο

22.52 €

Die Idee der Bibliothek und ihre Zukunft Michael Knoche

Σκληρόδετο

17.98 €

Bluchertrompete Ludwig Salomon

Χαρτόδετο

8.98 €

Faust Johann Wolfgang von Goethe

Χαρτόδετο

23.23 €

Plan de Confederation Europeenne Et Universelle Du Livre Precurseur BREMOND-J-J

Χαρτόδετο

14.34 €

Documentos postúmos del Club Pickwick Charles Dickens

Χαρτόδετο

12.12 €

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

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

EWA KASP για

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

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

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

Πλήρες όνομα Logic Based Program Synthesis and Transformation

Συγγραφέας Patricia M. Hill

Γλώσσα

Αγγλική

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

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

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

EAN 9783540326540

ISBN 3540326545

Κωδικός Libristo 01561746

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

Βάρος 630

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

Κατηγορία

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

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 > Computer programming / software engineering

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

Είναι εύκολο

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