Principles of Program Analysis (Paperback or Softback)

Nielson, Flemming

ISBN 10: 3642084745 ISBN 13: 9783642084744
Editorial: Springer 12/1/2010, 2010
Nuevos Paperback or Softback

Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Vendedor de AbeBooks desde 23 de enero de 2002

Este artículo en concreto ya no está disponible.

Descripción

Descripción:

Principles of Program Analysis. N° de ref. del artículo BBS-9783642084744

Denunciar este artículo

Sinopsis:

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.

Acerca del autor: Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

"Sobre este título" puede pertenecer a otra edición de este libro.

Detalles bibliográficos

Título: Principles of Program Analysis (Paperback or...
Editorial: Springer 12/1/2010
Año de publicación: 2010
Encuadernación: Paperback or Softback
Condición: New
Tipo de libro: Book

Los mejores resultados en AbeBooks

Imagen de archivo

Nielson, Flemming,Nielson, Hanne R.,Hankin, Chris
Publicado por Springer, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Antiguo o usado paperback

Librería: HPB-Ruby, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

paperback. Condición: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_438643114

Contactar al vendedor

Comprar usado

EUR 21,48
EUR 3,19 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Nielson, Flemming
Publicado por Springer, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Antiguo o usado Tapa blanda

Librería: Marlton Books, Bridgeton, NJ, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2010. Nº de ref. del artículo: AB-002056

Contactar al vendedor

Comprar usado

EUR 22,35
EUR 2,55 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Nielson, Flemming
Publicado por Springer, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Antiguo o usado Tapa blanda

Librería: Marlton Books, Bridgeton, NJ, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2010. Nº de ref. del artículo: M-20007178

Contactar al vendedor

Comprar usado

EUR 22,35
EUR 2,55 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 3 disponibles

Añadir al carrito

Imagen de archivo

Hankin, Chris, Nielson, Flemming, Nielson, Hanne R.
Publicado por Springer Berlin / Heidelberg, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Antiguo o usado Tapa blanda

Librería: Better World Books: West, Reno, NV, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Good. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 53377713-75

Contactar al vendedor

Comprar usado

EUR 24,97
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Nielson, Flemming; Nielson, Hanne R.; Hankin, Chris
Publicado por Springer, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Antiguo o usado Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 12036703

Contactar al vendedor

Comprar usado

EUR 45,28
EUR 2,24 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Flemming Nielson|Hanne R. Nielson|Chris Hankin
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Nuevo Tapa blanda
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The only book providing an introduction to the active area of program analysis for advanced students, researchers, and professionalsTested in various courses: Aarhus, Imperial College (London), Pisa, Saarbruecken, Tel Aviv, Copenhagen, Schloss Dagstuhl I. Nº de ref. del artículo: 5047514

Contactar al vendedor

Comprar nuevo

EUR 47,23
EUR 48,99 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Flemming Nielson (u. a.)
Publicado por Springer Berlin, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Nuevo Taschenbuch
Impresión bajo demanda

Librería: preigu, Osnabrück, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. Principles of Program Analysis | Flemming Nielson (u. a.) | Taschenbuch | xxi | Englisch | 2010 | Springer Berlin | EAN 9783642084744 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Nº de ref. del artículo: 107175029

Contactar al vendedor

Comprar nuevo

EUR 49,15
EUR 70,00 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

Añadir al carrito

Imagen del vendedor

Nielson, Flemming; Nielson, Hanne R.; Hankin, Chris
Publicado por Springer, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 12036703-n

Contactar al vendedor

Comprar nuevo

EUR 52,07
EUR 2,24 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Flemming Nielson
ISBN 10: 3642084745 ISBN 13: 9783642084744
Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch. Nº de ref. del artículo: 9783642084744

Contactar al vendedor

Comprar nuevo

EUR 53,49
EUR 60,00 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Flemming Nielson
ISBN 10: 3642084745 ISBN 13: 9783642084744
Nuevo Paperback Original o primera edición

Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: new. Paperback. 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. Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783642084744

Contactar al vendedor

Comprar nuevo

EUR 54,39
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Existen otras 12 copia(s) de este libro

Ver todos los resultados de su búsqueda