Theory and practice of software technology
Subtitle: proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982
By: edited by Domenico Ferrari, Mario Bolognani, Joseph Goguen.
Contributors: Ferrari, Domenico.; Bolognani, Mario.; Goguen, Joseph.
Publisher: North-Holland
Published: 1983
Place of publication: Amsterdam; Oxford
Language: eng
Number of pages: 245
Subjects: Computer programs.
Notes: Includes bibliographies and index.