| Type |  Book |
| ชื่อเรื่อง | Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 2003 : proceedings / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.) |
| ผู้แต่ง | International Conference on Formal Methods for Open Object-Based Distributed Systems (6th : 2003 : Paris, France) |
| ISBN | 3540204911 |
| พิมพลักษณ์ | Berlin : Springer, 2003 |
| รูปเล่ม | x, 292 p. : ill. ; 24 cm |
| หัวเรื่อง | Electronic data processing --Distributed processing --Congresses [] |
| | Object-oriented programming (Computer science) --Congresses [] |