Principles of program analysis / F. Nielson, Hanne Riis Nielson, Chris Hankin.

By:

Contributor(s):

Material type: Text

TextPublication details: Berlin ; New York : Springer, c1999.Description: xxi, 450 p. ; 24 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Online resources:

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Book	Library	005-2010 (Browse shelf(Opens below))	Checked out	14/04/2026	AT-ISTA#002926

Total holds: 0

Previous								Next
Previous	005-2010 Approximation algorithms /	005-2010 Cryptography engineering : design principles and practical applications /	005-2010 Efficient secure two-party protocols : techniques and constructions /	005-2010 Principles of program analysis /	005-2010 Designing with the mind in mind : simple guide to understanding user interface design rules /	005-2010 Seven languages in seven weeks : a pragmatic guide to learning programming languages /	005-2010 Succeeding with agile : software development using Scrum /	Next

Includes bibliographical references and index.