Matches in Library of Congress for { <http://lccn.loc.gov/2007026404> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2007026404 contributor B10780485.
- 2007026404 created "2008.".
- 2007026404 date "2008".
- 2007026404 date "2008.".
- 2007026404 dateCopyrighted "2008.".
- 2007026404 description "Includes bibliographical references (p. 191-193) and index.".
- 2007026404 description "State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.".
- 2007026404 extent "xii, 196 p. :".
- 2007026404 identifier "0521882869 (hardback)".
- 2007026404 identifier "9780521882866 (hardback)".
- 2007026404 identifier 2007026404-b.html.
- 2007026404 identifier 2007026404-d.html.
- 2007026404 identifier 2007026404-t.html.
- 2007026404 issued "2008".
- 2007026404 issued "2008.".
- 2007026404 language "eng".
- 2007026404 publisher "Cambridge ; New York : Cambridge University Press,".
- 2007026404 subject "005.1 22".
- 2007026404 subject "Computer software Development Computer programs.".
- 2007026404 subject "Computer software Development.".
- 2007026404 subject "QA76.76.D47 H83 2008".
- 2007026404 tableOfContents "State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.".
- 2007026404 title "Path-oriented program analysis / J.C. Huang.".
- 2007026404 type "text".