Mathematical structures for software engineering
By: edited by Bernard De Neumann, Dan Simpson, Gil Slater.
Contributors: De Neumann, Bernard.; Simpson, D. 1942-; Slater, Gil.; Institute of Mathematics and Its Applications. Systems and Software Engineering Specialist Group.
Series: The Institute of Mathematics and Its Applications conference series ;; new ser., 27
Publisher: Clarendon Press; Oxford University Press
Published: 1991
Place of publication: Oxford; New York
Language: eng
Number of pages: 355
Subjects: Software engineering -- Congresses.; Computer science -- Mathematics -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references.
"Based on the proceedings of a conference organized by the Systems and Software Engineering Specialist Group of the Institute of Mathematics and Its Applications, held at Manchester Polytechnic in July 1988."