封面圖片

Program verification

書目詳細資料
主要作者: Francez, Nissim
格式: 圖書
出版: Wokingham, Eng. Addison-Wesley Pub. c1992.
主題:
Computer software > Verification.
Programming.