Proof and System-Reliability 豆 0.0分

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

作者：Steinbruggen, Ralf; Schwichtenberg, Helmut; Schwichtenberg, Helmut

出版社：

出版日期：0000-01

ISBN：9781402006074

文件格式： pdf

标签： 证明和系统可靠性 编程 函数式编程

简介· · · · · ·

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researcher...