Language: English
Published by Springer Berlin / Heidelberg, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Seller: Better World Books: West, Reno, NV, U.S.A.
Condition: Good. Used book that is in clean, average condition without any missing pages.
Condition: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2010.
Condition: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2010.
paperback. Condition: 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!
Language: English
Published by Springer Berlin / Heidelberg, 1999
ISBN 10: 3540654100 ISBN 13: 9783540654100
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Very Good. 1 Edition. Used book that is in excellent condition. May show signs of wear or have minor defects.
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
hardcover. Condition: New. Corrected. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
US$ 44.12
Quantity: 1 available
Add to basketCondition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
Condition: As New. Unread book in perfect condition.
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
First Edition
Paperback. Condition: 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.
Condition: New.
US$ 69.00
Quantity: Over 20 available
Add to basketCondition: New. In.
US$ 66.70
Quantity: 10 available
Add to basketPF. Condition: New.
US$ 70.14
Quantity: Over 20 available
Add to basketCondition: New.
Condition: As New. Unread book in perfect condition.
Condition: New.
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
Condition: New. pp. 476.
Condition: New.
US$ 77.76
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Condition: New.
US$ 96.36
Quantity: Over 20 available
Add to basketCondition: New. In English.
US$ 99.10
Quantity: Over 20 available
Add to basketCondition: New.
US$ 103.30
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Condition: New. pp. 488.
Language: English
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: 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.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Seller: AussieBookSeller, Truganina, VIC, Australia
First Edition
Paperback. Condition: 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 our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Condition: new.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1999, 1999
ISBN 10: 3540654100 ISBN 13: 9783540654100
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Buch. Condition: 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 480 pp. Englisch.