Image from Google Jackets

Path-oriented program analysis / J. C. Huang.

By: Material type: TextTextPublication details: Cambridge ; New York : Cambridge University Press, 2008.Description: xii, 196 p. : ill. ; 24 cmISBN:
  • 9780521882866
  • 0521882869
Subject(s): DDC classification:
  • 22 005.1 HUA
Contents:
State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Vol info Status Date due Barcode Item holds
Book - Borrowing Book - Borrowing Central Library Lower Floor Scientific home BookShop 005.1 HUA (Browse shelf(Opens below)) 2691 Available 000040736
Total holds: 0

Index : p. 194-196.

Bibliography : p. 191-193.

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

There are no comments on this title.

to post a comment.