![A Knowledge-Based Approach to Program Understanding - The Springer International Series in Engineering and Computer Science - Salwa K. Abd-El-Hafiz - Books - Springer - 9780792396055 - July 31, 1995](https://imusic.b-cdn.net/images/item/original/055/9780792396055.jpg?salwa-k-abd-el-hafiz-1995-a-knowledge-based-approach-to-program-understanding-the-springer-international-series-in-engineering-and-computer-science-hardcover-book&class=scaled&v=1610651765)
Tell your friends about this item:
A Knowledge-Based Approach to Program Understanding - The Springer International Series in Engineering and Computer Science 1995 edition
Salwa K. Abd-El-Hafiz
A Knowledge-Based Approach to Program Understanding - The Springer International Series in Engineering and Computer Science 1995 edition
Salwa K. Abd-El-Hafiz
Program understanding plays an important role in nearly all software related tasks. This approach generates rigorous program documentation mechanically by combining and building on strengths of a practical program decomposition method, the axiomatic correctness notation, and the knowledge based analysis approaches.
119 pages, biography
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | July 31, 1995 |
ISBN13 | 9780792396055 |
Publishers | Springer |
Pages | 119 |
Dimensions | 155 × 235 × 9 mm · 376 g |
Language | English |
See all of Salwa K. Abd-El-Hafiz ( e.g. Hardcover Book and Paperback Book )