Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Principles of Program Analysis

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

Flemming Nielson

Hanne Riis Nielson

Chris Hankin

Lingua

Inglese

Libro Rigido

Codice Libristo: 01566854

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 1999

Program analysis concerns static techniques for computing reliable approximate information about the... Descrizione completa

Codice Libristo: 01566854

206 b

84.09 €

Magazzino esterno Inviamo tra 10-13 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

Rigido

71.59 €

Broderie perlée Haute-couture Kyoko Sugiura

In brossura

25.89 €

Cocuk Psikolojisi Jean Piaget

In brossura

12.69 €

Amor inmortal Kathryn Smith

In brossura

11.09 €

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

Rigido

54.49 €

Formelbuch der Harmonielehre Martin A. Schmid

In brossura

18.39 €

Risikomanagement und Risikocontrolling in Industrieunternehmen Aynur Halici

In brossura

26.19 €

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

Giocattolo

6.19 €

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

In brossura

29.49 €

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

In brossura

32.79 €

Kaiser Maximilian I. Karl Klüpfel

In brossura

27.99 €

It Management Approach Essential Tomohisa Fujii

In brossura

39.69 €

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.