Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.99 € Zbirna točka DPD 3.49 € Kurirska služba GLS 5.99 € Kurir DPD 3.99 € Kurirska služba Express One 3.99 € Zbirno mesto Express One 3.99 € Zbirno mesto Pošte Slovenije 3.99 € Dostava preko Pošte Slovenije 3.99 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Reasoning About Program Transformations

Name: Reasoning About Program Transformations
Brand: Springer-Verlag New York Inc.
SKU: 01384384
Price: 47.42 EUR
Availability: InStock
Author: J.-F. Collard
ISBN: 9780387953915

Imperative Programming and Flow of Data

J.-F. Collard

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 01384384

Založba Springer-Verlag New York Inc., oktober 2002

The book focuses on analyses that extract the flow of data, which imperative programming hides throu... Celoten opis

Koda Libristo: 01384384

115 b

47.42 €

Na zalogi pri dobavitelju Odposlali bomo v 10-13 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Puzzle Panorama 1000 Compact Disney Classics 39871

Sestavljanka

10.14 €

Restschuldversicherung und Liquiditätssicherung Udo Reifner

Trda

25.01 €

AA Road Map Brittany

Zemljevid

7.13 €

Dynasty. Assassin's Creed Xu Xianzhe

Mehka

10.84 €

Sansara Patrick Deville

Mehka

7.83 €

Kredki Bambino Pusheen 12 kolorów

binding.

3.51 €

Multiversum verstehen: Eine Reise durch die Parallelwelten der Physik Gaia A.I. Sauge

Mehka

24.71 €

Freiwilliges Engagement in Deutschland. Freiwilligensurvey 1999 Bernhard von Rosenbladt

Mehka

33.76 €

El Universo Riaza Morales

Trda

23.61 €

Pohlaď si mě Zvířata na vsi Gražyna Wasilewicz

Kartonka

7.83 €

Therapie funktioneller Stimmstörungen Walburga Brügge

Mehka

26.62 €

Handbuch Soziale Arbeit und Einsamkeit Michael Noack

Trda

54.06 €

Ravensburger Kinderpuzzle - 09237 Mein Reiterhof - Puzzle für Kinder ab 5 Jahren, mit 3x49 Teilen

Igra

11.65 €

Le doloromètre universel Gontier

Mehka

10.34 €

Du haut d'un brin d'herbe, on voit bien la Terre Antoine Paje

Mehka

9.34 €

La linguistique textuelle - 4e éd. Jean-Michel Adam

Mehka

42.90 €

Négykezes plazmára és energiavetőre Anthony Sheenard

Mehka

10.54 €

Bear Grylls Dobrodružství ve velehorách Bear Grylls

Trda

6.92 €

Messiah HWV 56

Zvočni CD

46.42 €

No Me Hables del Cielo: Revisitaciones a Un Hombre Sincero de Donde Crece La Palma. Angel Velazquez Callejas

Mehka

9.74 €

Comment l'Esprit Vient Aux Electeurs Sans Auteur

Mehka

14.76 €

Jours d'épreuve Paul Margueritte

Mehka

11.55 €

Jornada de Fe Para Adultos, Catecumenado Redemptorist Pastoral Publication

Preglednica

8.43 €

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.