TY - BOOK AU - Nielson,Flemming AU - Nielson,Hanne Riis AU - Hankin,Chris TI - Principles of program analysis SN - 3540654100 (alk. paper) AV - QA 76.6 N537.1999 U1 - 005.1 21 PY - 1999/// CY - Berlin, New York PB - Springer KW - Programación de computadoras KW - Programas de computadora N1 - Incluye referencias e índice ER -