Cover Image

Proving programs correct /

Bibliographic Details
Main Author: Anderson, Robert Brockett, 1941-
Format: Book
Language:English
Published: New York : Wiley, [1979]
Subjects:
Computer programs > Testing.
Debugging in computer science.
Description
Item Description:Includes index.
Physical Description:viii, 184 pages : illustrations ; 23 cm.
Bibliography:Bibliography: pages 170-182.
ISBN:0471033952