Formal methods for distributed processing
Subtitle: a survey of object-oriented approaches
By: edited by Howard Bowman, John Derrick.
Contributors: Bowman, Howard, 1966-; Derrick, John, 1963-
Publisher: Cambridge University Press
Published: 2001
Place of publication: Cambridge, UK; New York
Language: eng
Number of pages: 480
Subjects: Electronic data processing -- Distributed processing.; Object-oriented programming (Computer science)
Notes: Includes bibliographical references and index.