Mathematical structures for software engineering: 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

Media type: Book; Conference Proceedings
Title: Mathematical structures for software engineering : 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
Contains: Includes bibliographies

Contributor: DeNeumann, Bernard [Hrsg.]; Simpson, D. [Hrsg.]; Slater, Gil [Hrsg.]
Corporation: Institute of Mathematics and Its Applications, Systems and Software Engineering Specialist Group
imprint: Oxford: Clarendon, 1991
Published in: Institute of Mathematics and Its Applications: The Institute of Mathematics and Its Applications conference series ; NS,27
Extent: XIII, 355 S.; graph. Darst
Language: English
ISBN: 0198536275
RVK notation: SS 1988 : Veranstaltungsjahr 1988
Keywords: Software Engineering > Mathematik
Origination:
Footnote: Literaturangaben

Mathematical structures for software engineering : 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