TY - BOOK AU - Howden,William E. TI - Functional program testing and analysis SN - 0070305501 (pbk) U1 - 005.3028 PY - 1987/// CY - New York PB - McGraw-Hill KW - Computer programs-Testing KW - Functional program testing KW - Theoretical foundations KW - Functional analysis KW - Program functions KW - States and types KW - FC ER -