Formal methods and object technology
By: S.J. Goldsack and S.J.H. Kent, eds.
Contributors: Goldsack, Stephen J., 1926-; Kent, S. J. H. 1966-
Series: Formal approaches to computing and information technology
Publisher: Springer
Published: 1996
Place of publication: London; New York
Language: eng
Number of pages: 368
Subjects: Object-oriented programming (Computer science); Formal methods (Computer science)
Notes: Includes bibliographical references (p. [336]-356) and index.