Formal methods
Subtitle: theory and practice
By: edited by P.N. Scharbach.
Contributors: Scharbach, P. N.
Publisher: BSP Professional; Alfred Waller
Published: 1989
Place of publication: London
Language: eng
Number of pages: 164
Subjects: Computer programming.
Notes: Includes bibliographical references and index.