LIBRISTO
LIBROAMANTO
υποχρεωτικό
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 10.49 € Σημείο Elta 4.49 € Elta 4.99 € ACS 5.49 € Box Now 4.49 € Σημείο ACS 4.49 €

Αγαπητοί μας πελάτες, Θα θέλαμε να σας ενημερώσουμε ότι, για τεχνικούς λόγους, η τηλεφωνική γραμμή εξυπηρέτησής μας είναι προσωρινά εκτός λειτουργίας. Σας ευχαριστούμε θερμά για την κατανόηση!

Reasoning About Program Transformations

Imperative Programming and Flow of Data

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Σκληρόδετο
Βιβλίο Reasoning About Program Transformations J.-F. Collard
Κωδικός Libristo: 01384384
ΕΕκδοτικός οίκος Springer-Verlag New York Inc., Οκτώβριος 2002
The book focuses on analyses that extract the flow of data, which imperative programming hides throu... Πλήρης περιγραφή
? points 115 b
47.42 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 10-13 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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


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


Restschuldversicherung und Liquiditätssicherung Udo Reifner / Βιβλίο Σκληρόδετο
common.buy 26.62 €
AA Road Map Brittany / Έντυπα Χάρτης
common.buy 7.13 €
Dynasty. Assassin's Creed Xu Xianzhe / Βιβλίο Χαρτόδετο
common.buy 11.95 €
Sansara Patrick Deville / Βιβλίο Χαρτόδετο
common.buy 8.83 €
Freiwilliges Engagement in Deutschland. Freiwilligensurvey 1999 Bernhard von Rosenbladt / Βιβλίο Χαρτόδετο
common.buy 35.77 €
El Universo Riaza Morales / Βιβλίο Σκληρόδετο
common.buy 25.82 €
Τοπ
Pohlaď si mě Zvířata na vsi Gražyna Wasilewicz / Βιβλίο Leporelo
common.buy 8.83 €
Therapie funktioneller Stimmstörungen Walburga Brügge / Βιβλίο Χαρτόδετο
common.buy 28.13 €
Handbuch Soziale Arbeit und Einsamkeit Michael Noack / Βιβλίο Σκληρόδετο
common.buy 57.17 €
Le doloromètre universel Gontier / Βιβλίο Χαρτόδετο
common.buy 11.25 €
Du haut d'un brin d'herbe, on voit bien la Terre Antoine Paje / Βιβλίο Χαρτόδετο
common.buy 10.24 €
La linguistique textuelle - 4e éd. Jean-Michel Adam / Βιβλίο Χαρτόδετο
common.buy 46.92 €
Négykezes plazmára és energiavetőre Anthony Sheenard / Βιβλίο Χαρτόδετο
common.buy 11.95 €
Bear Grylls Dobrodružství ve velehorách Bear Grylls / Βιβλίο Σκληρόδετο
common.buy 7.83 €
Messiah HWV 56 / Audio Audio CD
common.buy 48.83 €
Comment l'Esprit Vient Aux Electeurs Sans Auteur / Βιβλίο Χαρτόδετο
common.buy 16.37 €
Jours d'épreuve Paul Margueritte / Βιβλίο Χαρτόδετο
common.buy 12.75 €
Jornada de Fe Para Adultos, Catecumenado Redemptorist Pastoral Publication / Βιβλίο Λίστα
common.buy 8.84 €

The book focuses on analyses that extract the flow of data, which imperative programming hides through its use and reuse of memory in computer systems and compilers. It details some program transformations that conserve this data flow and introduces a family of analyses, called reaching definition analyses, to do this task. In addition, it shows that correctness of program transformations is guaranteed by the conservation of data flow. Professionals and researchers in software engineering, computer engineering, program design analysis, and compiler design will benefit from its presentation of data-flow methods and memory optimization of compilers.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Reasoning About Program Transformations
Συγγραφέας J.-F. Collard
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Σκληρόδετο
Ημερομηνία έκδοσης 2002
Αριθμός σελίδων 238
EAN 9780387953915
ISBN 0387953914
Κωδικός Libristo 01384384
ΕΕκδοτικός οίκος Springer-Verlag New York Inc.
Βάρος 1210
Διαστάσεις 155 x 235 x 19
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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


Modern Compiler Implementation in ML Andrew W Appel / Βιβλίο Χαρτόδετο
common.buy 100.99 €
Programming Languages and Systems David Sands / Βιβλίο Χαρτόδετο
common.buy 48.53 €
Alice in Wonderland Adult Coloring Book Joe Brusha / Βιβλίο Χαρτόδετο
common.buy 13.86 €
Functional Programming, Glasgow 1992 John Launchbury / Βιβλίο Χαρτόδετο
common.buy 48.53 €
C2 Compiler Concepts Bernd Teufel / Βιβλίο Χαρτόδετο
common.buy 48.53 €
Debugging with GDB RICHARD STALLMAN / Βιβλίο Χαρτόδετο
common.buy 36.77 €
Τοπ
Metaprogramming Elixir Chris McCord / Βιβλίο Χαρτόδετο
common.buy 17.68 €
Australian Policies and Attitudes Toward China Henry Stephen Albinski / Βιβλίο Σκληρόδετο
common.buy 286.60 €
Nemesis Kincaid / Βιβλίο Σκληρόδετο
common.buy 18.49 €
military journals of two private soldiers, 1758-1775 Abraham Tomlinson / Βιβλίο Χαρτόδετο
common.buy 19.69 €
Τοπ
Roman Republican Coinage 2 Volume Paperback Set Michael H. Crawford / Βιβλίο Χαρτόδετο
common.buy 135.05 €
Beast Quest: Krotax the Tusked Destroyer Adam Blade / Βιβλίο Χαρτόδετο
common.buy 7.02 €
Introduction to Programming with Fortran Ian Chivers / Βιβλίο Σκληρόδετο
common.buy 132.24 €
Henna Artist JOSHI ALKA / Βιβλίο Χαρτόδετο
common.buy 10.04 €
The Ballerina's First Dance Jimmy Badavino / Βιβλίο Χαρτόδετο
common.buy 14.46 €
Kissed By Karma D Brown-Newton / Βιβλίο Χαρτόδετο
common.buy 12.95 €
School Earth For The Soul Tom Elliott / Βιβλίο Χαρτόδετο
common.buy 8.13 €
Learning Your Computer Through Pictures Elaine Ray / Βιβλίο Χαρτόδετο
common.buy 22.40 €
Oman Inc. IBP / Βιβλίο Χαρτόδετο
common.buy 81.49 €
Νέα
Starting Over with John and Yoko – The Photographs Roger Farrington / Βιβλίο Σκληρόδετο
common.buy 50.14 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;