Error-free software : know-how and know-why of program correctness

Bibliographic Details
Main Author: Baber, Robert Laurence (Author)
Format: Book
Published: Chichester, West Sussex, England : John Wiley , c1991
Series:Wiley series in software engineering practice
Subjects:
Description
Physical Description:vii, 156 p. ; ; 25 cm.
Bibliography:Includes bibliographical references (p. 149-150) and index
ISBN:0471930164