Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Reasoning About Program Transformations

Name: Reasoning About Program Transformations
Brand: Springer, Berlin
SKU: 01421702
Price: 19529 HUF
Availability: InStock
Author: Jean-Francois Collard
ISBN: 9781441929815

Imperative Programming and Flow of Data

Jean-Francois Collard

Language

English

Book Paperback

Libristo code: 01421702

Publishers Springer, Berlin, October 2010

The text contains a detailed and current presentation of the program analyses and transformations th... Full description

Libristo code: 01421702

133 b

19 529 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Partizipation von Frauen in politischen Parteien Juliane Seip

Paperback

6 278 Ft

Santa Faustina Kowalska. Una questione di cuore Raffaele Iaria

Paperback

11 529 Ft

Indicadores de Desempenho Alex Macedo

Paperback

13 847 Ft

Protocolo de manejo del paciente con hemofilia Faustino García Candel

Paperback

11 442 Ft

Trosecnikem na Opustenem Ostrove Frank Navratil

Adobe ePub DRM

4 738 Ft

JUNJO ROMÁNTICA 9 SHUNGIKU NAKAMURA

Hardback

3 845 Ft

Handelspartner Osteuropa. Gert Leptin

Paperback

11 548 Ft

Photography GUADAGNINI WALTER

Hardback

24 206 Ft

Sposób na matematykę Ćwiczenia dla klasy 5 Bubula Grażyna

Paperback

1 379 Ft

Модернизация Испании Анто Гонзaлез Реkуеро

Paperback

13 847 Ft

Perceval ou le Conte du Graal - Classiques et Patrimoine CHRÉTIEN DE TROYES

Paperback

1 980 Ft

L'échange symbolique et la mort Baudrillard

Paperback

11 590 Ft

Verheissung Jussi Adler-Olsen

Paperback

4 576 Ft

Das Komische: Das Falschlich-Komische; Besondere Erscheinungen Des Komischen; Witz, Spott Und Scherz; Nachtrage Zur Lehre Vom Wirkli Karl Ueberhorst

Paperback

13 908 Ft

Manuel de Pathologie Interne, Volume 3 Georges Dieulafoy

Paperback

12 455 Ft

Hostile Media Effekt in der Printberichterstattung. Mein Feind, die Zeitung - Ultras im Profifussball David Moller

Paperback

16 623 Ft

Verkehrte Welt Adolf Glaßbrenner

Paperback

6 968 Ft

Reflexe Cyril Höschl

Hardback

3 697 Ft

The text contains a detailed and current presentation of the program analyses and transformations that extract the flow of data in computer memory systems. The emphasis is on a framework for the optimization of code for imperative programs and greater computer systems efficiency. In addition, the author 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.