Huang, J. C. 1935- creator text bibliography enk Cambridge New York Cambridge University Press 2008 monographic eng

print

xii, 196 p. : ill. ; 24 cm. State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces. J.C. Huang. Includes bibliographical references (p. 191-193) and index. Computer software Development Computer software Development Computer programs QA76.76.D47 H83 2008 005.1 HJP 9780521882866 (hardback) 0521882869 (hardback) 2007026404 http://www.loc.gov/catdir/enhancements/fy0803/2007026404-b.html http://www.loc.gov/catdir/enhancements/fy0803/2007026404-d.html http://www.loc.gov/catdir/enhancements/fy0803/2007026404-t.html http://www.loc.gov/catdir/enhancements/fy0803/2007026404-b.html http://www.loc.gov/catdir/enhancements/fy0803/2007026404-d.html http://www.loc.gov/catdir/enhancements/fy0803/2007026404-t.html DLC 070625 20150408114157.0 14901673