Program design which is provably correct
Subtitle: a quantum leap in software
By: James Martin.
Publisher: Published by Savant Research Studies for Savant
Published: 1982
Place of publication: Carnforth, Lancashire, England
Language: eng
Number of pages: 426
Subjects: Computer programming.; Programming languages (Electronic computers); Debugging in computer science.
Notes: Includes bibliographical references and index.