Formal methods for distributed processing:a survey of object-oriented approaches
Saved in:
Group Author: | ; |
---|---|
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. |