TY  - BOOK
AU  - Nielson, F.
AU  - Nielson, H. R.
AU  - Hankin, C.
TI  - Principles of Program Analysis
SN  - 3540654100
PY  - 1999///
CY  - Berlin
PB  - Springer-Verlag
KW  - Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ
KW  - Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ñ
KW  - ÐºÐ¾Ð¼Ð¿Ð¸Ð»ÑÑÐ¸Ñ
KW  - Ð°Ð½Ð³Ð»Ð¸Ð¹ÑÐºÐ¸Ð¹ ÑÐ·ÑÐº
KW  - 681.3.06
KW  - 3
N2  - Bibliography: p. 437-450
ER  -