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

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Principles of Program Analysis

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

Flemming Nielson

Hanne R. Nielson

Chris Hankin

Lingua

Inglese

Libro In brossura

Codice Libristo: 01653477

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dicembre 2010

Program analysis utilizes static techniques for computing reliable information about the dynamic beh... Descrizione completa

Codice Libristo: 01653477

139 b

56.89 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

Potrebbe interessarti anche

Reasons for the Protest [against the Papal Aggression of 1850]. William Steere

In brossura

11.39 €

Our World 2 PRITCHARD CRANDALL S

In brossura

48.39 €

UNTITLED CLAIRE NORTH 3 CLAIRE NORTH

In brossura

12.39 €

The Motivational Interviewing Workbook: Exercises to Decide What You Want and How to Get There Angela Wood

In brossura

14.49 €

serious proposal to the ladies, for the advancement of their true and greatest interest Mary Astell

In brossura

21.59 €

Assassin's Creed Valhalla: Geirmund's Saga Matthew Kirby

In brossura

10.09 €

Where Honor Leads Lynde Palmer

In brossura

35.79 €

Asset Economy Melinda Cooper

In brossura

17.39 €

Malnutrition and Intestinal Failure Lamprecht

In brossura

44.79 €

Daredevil By Chip Zdarsky Vol. 3: Through Hell Marco Checcetto

In brossura

10.29 €

The World John Stott

In brossura

12.09 €

My Lemon Grove Summer Jo Thomas

In brossura

10.09 €

The Calendar: Its History, Structure and Improvement Alexander Philip

In brossura

15.49 €

Way You Make Me Feel Maurene Goo

In brossura

16.19 €

Musician's Survival Guide to a Killer Record Mixerman

In brossura

18.59 €

Urban Inequality Jesús M. González-Pérez

In brossura

31.59 €

Wonky Donkey Craig Smith

In brossura

8.39 €

Normal People Sally Rooney

In brossura

8.99 €

The Choice Edith Eva Eger

In brossura

12.69 €

Grammar in Use Intermediate Student's Book with Answers Raymond Murphy

In brossura

22.69 €

Research Studies on Educating for Diversity and Social Justice Ashraf Esmail

Rigido

127.89 €

Restore Me Tahereh Mafi

In brossura

8.09 €

Brianna's Love (The Loving and Faithful Sequel) Dorita Lynn Kornelsen

In brossura

5.39 €

Baptism of Jesus the Christ Ralph Allan Smith

Rigido

30.39 €

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing 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 illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.