عرض عادي عرض مارك عرض تدوب

Huang, J. C., 1935-

Path-oriented program analysis / J.C. Huang. - Cambridge ; New York : Cambridge University Press, 2008. - xii, 196 p. : ill. ; 24 cm.

Includes bibliographical references (p. 191-193) and index.

State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.

ISBN: 9780521882866 (hardback) 0521882869 (hardback)

LCCN: 2007026404

Subjects--Topical Terms:
Computer software--Development.
Computer software--Development--Computer programs.

LC Class. No.: QA76.76.D47 / H83 2008

Dewey Class. No.: 005.1 / HJP