说明: Presents a logical approach to engineering correct software as an application of computational logic Verification exercises develop the reader's facility in specifying and verifying software using logic Computational logic is a fast-growing field wi
<ciceanwang> 上传 | 大小:2mb