Theoretical Perspective of Program Assurance

Author: Liu Rongjun
Publisher:
Publish Date: 1999-09-01
Features: This book consists of ten chapters, each part being both independent and closely connected. The author uses program security as the main thread to link the various independent parts together, thereby organically connecting them and strengthening the logical coherence of the entire book. The characteristics of this book can be summarized into three points: first, the richness of the data. Second, the broadening of research perspectives. Third, the combination of dispersion and unity.