Software specification techniques
By: [edited by] Narain Gehani, Andrew McGettrick.
Contributors: Gehani, Narain, 1947-; McGettrick, Andrew D., 1944-
Series: International computer science series
Publisher: Addison-Wesley
Published: 1986
Place of publication: Workingham, England; Reading, Mass
Language: eng
Number of pages: 477
Subjects: Computer software -- Specifications
Notes: Bibliography: p. 455-477.