Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Reasoning About Program Transformations

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

Imperative Programming and Flow of Data

J.-F. Collard

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01384384

Nakladateľstvo Springer-Verlag New York Inc., október 2002

The book focuses on analyses that extract the flow of data, which imperative programming hides throu... Celý popis

Libristo kód: 01384384

135 b

55.89 €

Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Puzzle Panorama 1000 Compact Disney Classics 39871

Puzzle

8.90 €

AA Road Map Brittany

Mapa

7.69 €

El Universo Riaza Morales

Pevná

23.79 €

Restschuldversicherung und Liquiditätssicherung Udo Reifner

Pevná

26.82 €

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

Brožovaná

28.04 €

Kredki Bambino Pusheen 12 kolorów

binding.

2.32 €

Therapie funktioneller Stimmstörungen Walburga Brügge

Brožovaná

28.34 €

Freiwilliges Engagement in Deutschland. Freiwilligensurvey 1999 Bernhard von Rosenbladt

Brožovaná

35.94 €

Jours d'épreuve Paul Margueritte

Brožovaná

11.33 €

Handbuch Soziale Arbeit und Einsamkeit Michael Noack

Pevná

57.61 €

Comment l'Esprit Vient Aux Electeurs Sans Auteur

Brožovaná

14.77 €

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

Hra

12.45 €

Вьюрки Дарья Бобылева

Pevná

27.84 €

Le doloromètre universel Gontier

Brožovaná

12.45 €

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

Brožovaná

11.33 €

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

Brožovaná

33.71 €

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

Brožovaná

11.53 €

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

Pevná

7.48 €

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

Brožovaná

9.61 €

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.