| Type |  Book |
| ชื่อเรื่อง | Formal methods for open object-based distributed systems / edited by Elie Najm and Jean-Bernard Stefani |
| ISBN | 0412797704 |
| พิมพลักษณ์ | London : Chapman \& Hall, c1997 |
| รูปเล่ม | vii, 411 p |
| หัวเรื่อง | ELECTRONIC DATA PROCESSING --DISTRIBUTED PROCESSING [] |
| | OBJECT-ORIENTED METHODS (COMPUTER SCIENCE) |
| | Object-oriented programming (Computer science) |
| | Congresses |