Formal methods in systems engineering
By: edited by Peter Ryan and Chris Sennett.
Contributors: Ryan, Peter, PhD.; Sennett, C. T.
Publisher: Springer Verlag; Springer
Published: 1993
Place of publication: London; New York
Language: eng
Number of pages: 191
Subjects: Computer software -- Development.; Systems engineering.; Formal methods (Computer science)