| Type |  Book |
| ชื่อเรื่อง | Formal methods for components and objects [electronic resource] : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures / Frank S. de Boer ... [et al.] (eds.) |
| ISBN | 3540291318 (pbk.) |
| | 9783540291312 |
| พิมพลักษณ์ | Berlin ;New York : Springer, 2005 |
| รูปเล่ม | 1 online resource (viii, 323 p.) : ill |
| ลิงค์ | connect to resource |
| หัวเรื่อง | Component software --Congresses [] |
| | Formal methods (Computer science) --Congresses [] |
| | Object-oriented programming (Computer science) --Congresses [] |