Principles of Program Analysis | |
| מחבר: Author: Автор: مؤلف: | Flemming Nielson, Hanne Riis Nielson, Chris Hankin |
| הוצאה לאור: Published by: Издательство: دار نشر: | Springer (Corrected 2nd printing, 452 pages, ISBN 3-540-65410-0), 2005 |
| קישור: Link: Ссылка: وصلة: | http://www2.imm.dtu.dk/~hrni/PPA/ppa.html |
link to a list of recommended textbooks on the CS library site | |
| קישור: Link: Ссылка: وصلة: | http://cs.technion.ac.il/library/catalog_winter_2013_14.html#236347 |