Error-Free Software: Know-How and Know-Why of Program Correctness 豆 0.0分

资源最后更新于 2020-07-25 14:09:00

作者：Robert L. Baber

出版社：Wiley

出版日期：1991-01

ISBN：9780471930167

文件格式： pdf

标签： 逻辑 编程 形式化

简介· · · · · ·

Demonstrates how formal mathematical methods of proving correctness can help decrease the incidence of design errors (``bugs'') in software development. While all the techniques described here have a rigorous mathematical foundation, it is omitted in favor of emphasizing practical applications.