Formal methods and object technology /

Bibliographic Details

Other Authors:	Goldsack, Stephen J., 1926-, Kent, S. J. H. (Stuart John Harding), 1966-
Format:	Book
Language:	English
Published:	London ; New York : Springer, [1996]
Series:	Formal approaches to computing and information technology.
Subjects:	Object-oriented programming (Computer science)