Image from Amazon.com
Path-oriented program analysis
Material type:
TextPublication details: Cambridge ; New York : Cambridge University Press, ©2008.Description: xii, 196 p. : ill. ; 24 cmISBN: - 9780521882866
- 005.1 22 HUA-P
- QA76.76.D47 H83 2008
Contents:
State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
IIITD Reference | Computer Science and Engineering | REF 005.1 HUA-P (Browse shelf(Opens below)) | Available | 003884 |
Total holds: 0
Browsing IIITD shelves, Shelving location: Reference, Collection: Computer Science and Engineering Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 005.1 HOR-C Computer algorithms/C++ | REF 005.1 HOR-F Fundamentals of computer algorithms | REF 005.1 HRU-M Model-driven design using business patterns | REF 005.1 HUA-P Path-oriented program analysis | REF 005.1 JAL-C Concise introduction to software engineering | REF 005.1 JAL-I An integrated approach to software engineering | REF 005.1 JAL-I An integrated approach to software engineering |
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.
There are no comments on this title.