[TYPES] Book and Web-Page Announcement
Herbert Wiklicky
herbert at doc.ic.ac.uk
Thu Jan 20 11:40:15 EST 2005
==================================================================
BOOK AND WEB PAGE ANNOUNCEMENT
Principles of Program Analysis
Flemming Nielson, Hanne Riis Nielson and Chris Hankin
2nd Corrected Printing
ISBN 3-540-65410-0, Springer, December 2004
To coincide with this reprinting, we have relaunched the web page
for the book
http://www.imm.dtu.dk/~riis/PPA/ppa.html.
This will contain a complete set of PDF format slides which closely
follow the text, a number of prototype systems and pointers to other
resources. We are also inviting teachers who use the book to submit
their slides for inclusion on the web page
(contact: nielson at imm.dtu.dk, riis at imm.dtu.dk or clh at doc.ic.ac.uk).
-------------------------------------------------------------------
Professor Chris Hankin e-mail: clh at imperial.ac.uk
Pro Rector(Research)
Imperial College London
South Kensington Campus
London SW7 2AZ, U.K.
Tel: +44 (0) 20 7594 8266, +44 (0) 20 7594 5010
Fax: +44 (0) 20 7581 8024
Web: http://www.imperial.ac.uk/computing/~clh
-------------------------------------------------------------------
More information about the Types-list
mailing list