Path-oriented program analysis / J. C. Huang.
Material type: TextPublication details: Cambridge ; New York : Cambridge University Press, 2008.Description: xii, 196 p. : ill. ; 24 cmISBN:- 9780521882866
- 0521882869
- 22 005.1 HUA
Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Book - Borrowing | Central Library Lower Floor | Scientific home BookShop | 005.1 HUA (Browse shelf(Opens below)) | 2691 | Available | 000040736 |
Browsing Central Library shelves, Shelving location: Lower Floor Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
005.1 HAL Competitive programming. | 005.1 HEY Novell's guide to integrating NetWare and TCP/IP / | 005.1 HOB Embedded software development for safety-critical systems / | 005.1 HUA Path-oriented program analysis / | 005.1 HUN The pragmatic programmer : | 005.1 JAL Software project management in practice / | 005.1 JAL An integrated approach to software engineering / |
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.