TY  - BOOK
AU  - Boer,Frank S.de
ED  - FMCO 2005
TI  - Formal methods for components and objects: 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures 
T2  - Lecture notes in computer science
SN  - 3540367497 (rústica)
AV  - QA76.9F67 F66 2005
U1  - 005.13/1 22
PY  - 2006///
CY  - Berlin
PB  - Springer Verlag
KW  - Métodos formales (Computación)
KW  - Congresos
KW  - Componentes software
KW  - Programación orientada a objetos (Computación)
ER  -