High-Integrity Software
By: edited by C.T. Sennett
Series: Software Science and Engineering; Software science and engineering
Publisher: Springer US
Published: 1990
Place of publication: Boston, MA
Language: eng
Format: [electronic resource] /
Number of pages: 368
ISBN-13: 9781468457759