TY  - BOOK
A2  - ed. by Howard Bowman, John Derrick.
A3  - Bowman, Howard.
A3  - Derrick, John
ET  - Paperback ed.
NV  - X, 480 s. :
PY  - 2010
SN  - 9780521771849
SN  - 9780521168755
TI  - Formal methods for distributed processing : a survey of object-oriented approaches /
ER  -