西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Proving programs correct / Robert B. Anderson.

出版发行项:

New York : Wiley, c1979.

ISBN:

0471033952

载体形态项:

viii, 184 p. : ill. ; 23 cm.

个人责任者:

Anderson, Robert Brockett, 1941-

论题主题:

Debugging in computer science.

论题主题:

Computer programs-Testing.

中图法分类号:

TP31

书目附注:

includes bibliographical reference (p. 170-182) and index.

内容附注:

ch. 1. Mathematical induction -- ch. 2. Proving the correctness of flowchart programs -- ch. 3. Proving the correctness of programs written in a standard programming language -- ch. 4. Proving the correctness of recursive programs -- ch. 5. Current research related to proving program correctness.

豆瓣简介：