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

Bibliographic Details
Main Author:	Baber, Robert Laurence
Format:	Book
Language:	English
Published:	Chichester, England ; New York : Wiley, [1991]
Series:	Wiley professional computing. Wiley series in software engineering practice.
Subjects:	Computer software > Reliability. Computer software > Development.

Remote Storage