Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

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

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Principles of Program Analysis

Name: Principles of Program Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01566854
Price: 445.39 RON
Availability: InStock
Author: Flemming Nielson
ISBN: 9783540654100

Flemming Nielson

Hanne Riis Nielson

Chris Hankin

Limba

engleză

Carte Copertă tare

Codul Libristo: 01566854

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 1999

Program analysis concerns static techniques for computing reliable approximate information about the... Descrierea completă

Codul Libristo: 01566854

206 b

445.39 lei

În depozitul extern Expediem în 10-13 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Čezeta a skútry J.F.Kocha Martin Kusý

Copertă tare

360.11 lei

Broderie perlée Haute-couture Kyoko Sugiura

Carte broșată

131.49 lei

Cocuk Psikolojisi Jean Piaget

Carte broșată

67.30 lei

Amor inmortal Kathryn Smith

Carte broșată

58.78 lei

Moderne Kunst 1870-2000. Vom Impressionismus bis heute, m. 2 Buch Hans Werner Holzwarth

Copertă tare

288.34 lei

Formelbuch der Harmonielehre Martin A. Schmid

Carte broșată

97.32 lei

Risikomanagement und Risikocontrolling in Industrieunternehmen Aynur Halici

Carte broșată

138.87 lei

Škrabací obrázky 8ks Mořští tvorové

Jucărie

32.92 lei

BABADADA, slovensčina - portugues, Slikovni slovar - dicionario de imagens BABADADA GMBH

Carte broșată

155.90 lei

Sens- und Nonsens-Gedichte - Das Beste aus Band 1-3 Brigitte Riederer

Carte broșată

173.46 lei

Kaiser Maximilian I. Karl Klüpfel

Carte broșată

148.42 lei

It Management Approach Essential Tomohisa Fujii

Carte broșată

210.23 lei

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.