[email protected] Θα απαντήσουμε εντός 24 ωρών

[email protected]

ACS 6.49 € DHL courier 9.99 € Speedex 5.99 € Σημείο ACS 6.49 € Elta 3.99 € Σημείο Elta 3.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: 01560821
Price: 64.16 EUR
Availability: InStock

Sandro Etalle

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01560821

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

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Πλήρης περιγραφή

Κωδικός Libristo: 01560821

161 b

64.16 €

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

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

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

Haikyu!!, Vol. 14 Haruichi Furudate

/ Χαρτόδετη βιβλιοδεσία

9.27 €

Maze Runner James Dashner

/ Χαρτόδετη βιβλιοδεσία

12.10 €

Maltese Falcon Dashiell Hammett

/ Χαρτόδετη βιβλιοδεσία

9.88 €

Google Cloud Platform in Action John J. Geewax

/ Χαρτόδετη βιβλιοδεσία

66.99 €

Secret Kingdom: Magic Mountain Rosie Banks

/ Χαρτόδετη βιβλιοδεσία

7.15 €

Treasure Island and The Ebb-Tide Robert Louis Stevenson

/ Χαρτόδετη βιβλιοδεσία

8.77 €

Enterococcus faecalis

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

279.58 €

E-Myth Contractor Michael E. Gerber

/ Χαρτόδετη βιβλιοδεσία

16.03 €

Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence Brian J. Heard

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

157.09 €

Text Book of Boxing Jim Driscoll

/ Χαρτόδετη βιβλιοδεσία

19.66 €

Ma, I've Reached for the Moon an I'm Hittin the Stars Martha Long

/ Χαρτόδετη βιβλιοδεσία

18.45 €

English Auxiliaries Anthony R. Warner

/ Χαρτόδετη βιβλιοδεσία

51.35 €

Model-Based Reasoning in Science and Technology Lorenzo Magnani

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

251.32 €

From Understanding to Action Marco Keiner

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

126.51 €

International Directory of Company Histories Tina Gant

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

597.00 €

Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon

/ Χαρτόδετη βιβλιοδεσία

81.21 €

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

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

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

Συγγραφέας Sandro Etalle

Γλώσσα

Αγγλική

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

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

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

EAN 9783540266556

ISBN 3540266550

Κωδικός Libristo 01560821

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

Βάρος 450

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

Κατηγορία

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Παράδοση

Οδηγός αγορών