Publicado por Springer Berlin / Heidelberg, 1999
ISBN 10: 3540654100 ISBN 13: 9783540654100
Idioma: Inglés
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
EUR 16,58
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. 1 Edition. Used book that is in excellent condition. May show signs of wear or have minor defects.
EUR 21,71
Cantidad disponible: 1 disponibles
Añadir al carritopaperback. 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!
EUR 25,24
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
EUR 22,59
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2010.
EUR 22,59
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2010.
Publicado por Springer Berlin / Heidelberg, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Idioma: Inglés
Librería: Better World Books: West, Reno, NV, Estados Unidos de America
EUR 27,53
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Used book that is in clean, average condition without any missing pages.
EUR 30,12
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good.
EUR 45,72
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 52,97
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Original o primera edición
EUR 55,32
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. 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.
EUR 60,11
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 59,92
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. Corrected. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
EUR 57,94
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 56,57
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
EUR 57,93
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 80,33
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 80,68
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 79,49
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 476.
EUR 76,88
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. In shrink wrap. Looks like an interesting title!
EUR 65,73
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 83,84
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Principles of Program Analysis. Book.
EUR 80,73
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 91,05
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 81,52
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In English.
EUR 95,47
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: new.
EUR 81,51
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 87,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 107,34
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 488.
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. 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.
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.