EUR 46,49
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 46,74
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2010.
EUR 60,84
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 60,28
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 56,93
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
EUR 57,62
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 76,41
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 66,36
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 93,58
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 476.
EUR 60,98
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.
EUR 56,60
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Principles of Program Analysis | Flemming Nielson (u. a.) | Taschenbuch | xxi | Englisch | 2010 | Springer | EAN 9783642084744 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 51,83
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer, Springer Dez 2010, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 60,98
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 476 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 93,45
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 476 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 92,30
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 476.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Librería: moluna, Greven, Alemania
EUR 53,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondició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.
Idioma: Inglés
Publicado por Springer, Springer Dez 2010, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 60,98
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 476 pp. Englisch.