| Type |  Book |
| ชื่อเรื่อง | Formal methods for distributed processing : a survey of object-oriented approaches / edited by Howard Bowman, John Derrick |
| ISBN | 9780521168755 |
| พิมพลักษณ์ | Cambridge, UK ;New York : Cambridge University Press, 2010, c2001 |
| รูปเล่ม | x, 480 p. : ill |
| หัวเรื่อง | Electronic data processing --Distributed processing [] |
| | Object-oriented programming (Computer science) |