罗尔夫·哈默;霍克斯,马蒂亚斯;乌尔里希库利施;迪特马尔·拉茨 用于验证计算的C++工具箱I.基本数值问题。理论、算法和程序。 (英语) Zbl 0828.68041号 柏林:Springer-Verlag。xvi,第380页(1995年)。 本书致力于验证计算和C++相应工具的问题。本书的中心主题是展示数值计算的实用方法。这本书以工作计算机例程的形式对算术、计算可靠性、分析数学、验证技术和实际实现进行了一般性讨论。当读者从PASCAL转换到C++时,这本书可能会很有用。审核人:G.E.Tseytlin(基辅) 引用于56文件 MSC公司: 68甲15 编程语言理论 68-01 与计算机科学相关的介绍性说明(教科书、教程论文等) 68米15 网络和计算机系统的可靠性、测试和容错 关键词:C-XSC库;计算可靠性 软件:PASCAL-XSC公司;ACRITH-XSC公司;C-XSC(C-XSC) PDF格式BibTeX公司 XML格式引用 \textit{R.Hammer}等人,用于验证计算的C++工具箱I.基本数值问题。理论、算法和程序。柏林:Springer-Verlag(1995;Zbl 0828.68041)