Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Reasoning About Program Transformations

Imperative Programming and Flow of Data

Limba englezăengleză
Carte Copertă tare
Carte Reasoning About Program Transformations J.-F. Collard
Codul Libristo: 01384384
Editura Springer-Verlag New York Inc., octombrie 2002
The book focuses on analyses that extract the flow of data, which imperative programming hides throu... Descrierea completă
? points 129 b
280.08 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Jours d'épreuve Paul Margueritte / Carte Carte broșată
common.buy 66.00 lei
Multiversum verstehen: Eine Reise durch die Parallelwelten der Physik Gaia A.I. Sauge / Carte Carte broșată
common.buy 145.67 lei
Therapie funktioneller Stimmstörungen Walburga Brügge / Carte Carte broșată
common.buy 157.24 lei
Kredki Bambino Pusheen 12 kolorów / Carte binding.
common.buy 19.49 lei
AA Road Map Brittany / Materiale tipărite Hartă
common.buy 40.14 lei
Puzzle Panorama 1000 Compact Disney Classics 39871 / Joc / Jucărie Puzzle
common.buy 46.29 lei
Top
Pohlaď si mě Zvířata na vsi Gražyna Wasilewicz / Carte Cărți pliante
common.buy 45.35 lei
Handbuch Soziale Arbeit und Einsamkeit Michael Noack / Carte Copertă tare
common.buy 319.18 lei
Вьюрки Дарья Бобылева / Carte Copertă tare
common.buy 146.40 lei
Le doloromètre universel Gontier / Carte Carte broșată
common.buy 64.23 lei
Du haut d'un brin d'herbe, on voit bien la Terre Antoine Paje / Carte Carte broșată
common.buy 58.59 lei
La linguistique textuelle - 4e éd. Jean-Michel Adam / Carte Carte broșată
common.buy 241.71 lei
Négykezes plazmára és energiavetőre Anthony Sheenard / Carte Carte broșată
common.buy 60.37 lei
Bear Grylls Dobrodružství ve velehorách Bear Grylls / Carte Copertă tare
common.buy 41.70 lei
Messiah HWV 56 / Audio Audio CD
common.buy 270.17 lei
No Me Hables del Cielo: Revisitaciones a Un Hombre Sincero de Donde Crece La Palma. Angel Velazquez Callejas / Carte Carte broșată
common.buy 55.99 lei
El Universo Riaza Morales / Carte Copertă tare
common.buy 136.59 lei
Comment l'Esprit Vient Aux Electeurs Sans Auteur / Carte Carte broșată
common.buy 77.47 lei
Ravensburger Kinderpuzzle - 09237 Mein Reiterhof - Puzzle für Kinder ab 5 Jahren, mit 3x49 Teilen / Joc / Jucărie Joc
common.buy 68.60 lei
Restschuldversicherung und Liquiditätssicherung Udo Reifner / Carte Copertă tare
common.buy 149.00 lei
Freiwilliges Engagement in Deutschland. Freiwilligensurvey 1999 Bernhard von Rosenbladt / Carte Carte broșată
common.buy 199.58 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Reasoning About Program Transformations
Autor J.-F. Collard
Limba engleză
Legare Carte - Copertă tare
Data publicării 2002
Număr pagini 238
EAN 9780387953915
ISBN 0387953914
Codul Libristo 01384384
Editura Springer-Verlag New York Inc.
Greutatea 1210
Dimensiuni 155 x 235 x 19

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Modern Compiler Implementation in ML Andrew W Appel / Carte Carte broșată
common.buy 479.25 lei
Programming Languages and Systems David Sands / Carte Carte broșată
common.buy 286.02 lei
Alice in Wonderland Adult Coloring Book Joe Brusha / Carte Carte broșată
common.buy 77.05 lei
Functional Programming, Glasgow 1992 John Launchbury / Carte Carte broșată
common.buy 286.02 lei
C2 Compiler Concepts Bernd Teufel / Carte Carte broșată
common.buy 286.02 lei
Ethereum: The Definitive Guide to Investing in Ethereum & Blockchain Cryptocurrency: Includes Blueprint Fintech Contracts Artemis Caro / Carte Carte broșată
common.buy 87.06 lei
Debugging with GDB RICHARD STALLMAN / Carte Carte broșată
common.buy 189.78 lei
Metaprogramming Elixir Chris McCord / Carte Carte broșată
common.buy 100.72 lei
A Moment with Monet Sima Levy / Carte Carte broșată
common.buy 71.21 lei
Introduction to Collection Development for School Librarians Mona Kerby / Carte Carte broșată
common.buy 256.20 lei
military journals of two private soldiers, 1758-1775 Abraham Tomlinson / Carte Carte broșată
common.buy 101.45 lei
Top
Roman Republican Coinage 2 Volume Paperback Set Michael H. Crawford / Carte Carte broșată
common.buy 695.11 lei
Alfred Nobel: The Life and Legacy of the Famous Scientist and the Nobel Prizes Charles River Editors / Carte Carte broșată
common.buy 58.38 lei
Beast Quest: Krotax the Tusked Destroyer Adam Blade / Carte Carte broșată
common.buy 36.90 lei
Ships and Boats Coloring Book: Boat Coloring Book Ship Coloring Book for Kids and Adults Creative Activities / Carte Carte broșată
common.buy 47.54 lei
Introduction to Programming with Fortran Ian Chivers / Carte Copertă tare
common.buy 781.55 lei
Australian Policies and Attitudes Toward China Henry Stephen Albinski / Carte Copertă tare
common.buy 1 474.69 lei
Aws: The Complete Beginner's Guide to Mastering Amazon Web Services Stephen Baron / Carte Carte broșată
common.buy 71.63 lei
The Ballerina's First Dance Jimmy Badavino / Carte Carte broșată
common.buy 74.44 lei
Kissed By Karma D Brown-Newton / Carte Carte broșată
common.buy 67.04 lei
Stress and Strain Factor: How Anxiety and Depression Can Be Controlled Gerald L Shingleton / Carte Carte broșată
common.buy 37.11 lei
School Earth For The Soul Tom Elliott / Carte Carte broșată
common.buy 42.33 lei
Nemesis Kincaid / Carte Copertă tare
common.buy 100.51 lei
The Orientalist: Or, Electioneering in Ireland, by Myself [Mrs. Purcell]. Purcell / Carte Carte broșată
common.buy 184.77 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?