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

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

Δωρεάν αποστολή με 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, Berlin
SKU: 01562768
Price: 51.63 EUR
Availability: InStock
Author: M. Leuschel
ISBN: 9783540404385

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

M. Leuschel

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01562768

ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2002

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

Κωδικός Libristo: 01562768

125 b

51.63 €

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

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

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

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

Manual para ser feliz around the world ALESS GIBAJA

Χαρτόδετο

17.17 €

Pojazdy Ernest Błędowski

Χαρτόδετο

1.30 €

Thomas Jules Lebrun

Σκληρόδετο

8.98 €

La rythmologie - une date bien choisie peut changer votre vie Wozniak

Χαρτόδετο

22.93 €

Benjamín Solari Parravicini Zerpa

Χαρτόδετο

11.51 €

PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Βιβλίο

Χαρτόδετο

19.49 €

Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium

Χαρτόδετο

40.01 €

Osterlandsagen Geyer

Χαρτόδετο

17.07 €

Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A

Χαρτόδετο

15.25 €

Pohádky obtáhni a vykresli - omalovánka

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

1.51 €

Metaphern der Gewalt Monika Schwarz-Friesel

Χαρτόδετο

30.91 €

Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina

Χαρτόδετο

43.75 €

Malcolm Max - Auferstehung Peter Mennigen

Σκληρόδετο

12.62 €

Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD

Audio CD

8.98 €

Expeditionen in den dunklen Kontinent Ruth Hagen

Χαρτόδετο

49.91 €

Písání John Lennon

Σκληρόδετο

8.98 €

? travers la Montagne corse / TopoGuides

Χαρτόδετο

25.05 €

El problema mente-cerebro / The Mind-Body Problem Mario Bunge

Χαρτόδετο

22.12 €

Paula I. Allende

Χαρτόδετο

11.51 €

Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori

Χαρτόδετο

11.81 €

Petru Fideliovi Sborník k sedmdesátinám Lucie Malá

Χαρτόδετο

10.80 €

Malý zajíček Oblečení neuvedený autor

Leporelo

2.42 €

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.§§The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

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

EWA KASP για

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

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

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

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

Συγγραφέας M. Leuschel

Γλώσσα

Αγγλική

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

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

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

EAN 9783540404385

ISBN 3540404384

Κωδικός Libristo 01562768

ΕΕκδοτικός οίκος Springer, Berlin

Βάρος 417

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

Κατηγορία

Children’s, Teenage & Educational > Educational material > Educational: Mathematics, science & technology, general > Educational: Sciences, general science

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

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

Computing & Information Technology > Computer programming / software engineering

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

Είναι εύκολο

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