Programming Methodology

Author: Hu Zhengguo
Publisher:
Publish Date: 2003-01-01
Features: This book primarily introduces the main content of the emerging discipline of programming methodology, including structured programming, program correctness proofs, correctness proofs of structured programs, recursive programs and their correctness proofs, formal derivation techniques for programs, program transformation techniques, object-oriented design methods, and the fundamentals of large-scale programming methodology. This book is suitable for computer science students at colleges and universities, as well as for master's degree candidates and researchers engaged in computer-related work.