Vista normal Vista MARC Vista ISBD

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures / FMCO 2005 Frank S. de Boer ... [y otros.], eds. - viii, 427 páginas : ilustraciones - Lecture notes in computer science ; 4111 . - Lecture notes in computer science .

ISBN: 3540367497 (rústica) 9783540367499

Subjects--Topical Terms:
Métodos formales (Computación)--Congresos
Componentes software--Congresos
Programación orientada a objetos (Computación)--Congresos

LC Class. No.: QA76.9F67 / F66 2005

Dewey Class. No.: 005.13/1