圖書標籤:
发表于2024-11-24
Modular Specification and Verification of Object-Oriented Programs pdf epub mobi txt 電子書 下載 2024
在綫閱讀本書
This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.
評分
評分
評分
評分
Modular Specification and Verification of Object-Oriented Programs pdf epub mobi txt 電子書 下載 2024