Software engineering
Subtitle: analysis and verification
By: T.G. Lewis.
Publisher: Reston Pub. Co.
Published: 1982
Place of publication: Reston, Va
Language: eng
Number of pages: 470
Subjects: Software engineering.; Computer software -- Verification.
Notes: Includes bibliographies and index.