paperback. Condizione: Very Good.
Condizione: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2010.
EUR 46,82
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 60,84
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 61,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 76,53
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 57,96
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 58,10
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
EUR 67,73
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New. pp. 476.
EUR 56,70
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 51,83
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer, Springer Dez 2010, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 60,98
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 95,07
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Da: moluna, Greven, Germania
EUR 53,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 93,98
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 476.
Lingua: Inglese
Editore: Springer, Springer Dez 2010, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 60,98
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 65,98
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. nach der Bestellung gedruckt 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.