Formal methods for distributed processing:a survey of object-oriented approaches

Saved in:
Bibliographic Details
Group Author: Bowman Howard. 1966-; Derrick John. 1963-
Published: Cambridge University Press,
Publisher Address: Cambridge New York
Publication Dates: 2010.
Literature type: Book
Language: English
Subjects:
Carrier Form: x, 480 p.: ill. ; 25 cm
ISBN: 9780521168755 (pbk.)
0521168759 (pbk.)
Index Number: TP274
CLC: TP274
Call Number: TP274/F723
Contents: Originally published: 2001.
Includes bibliographical references and index.