Cover Image

Formal methods and object technology /

Show other versions (1)
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)
Description
Physical Description:xviii, 368 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [336]-356) and index.
ISBN:3540199772 (Berlin : acid-free paper)