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  .
<br/><br/><label>ISBN: </label>3540367497 (rústica) 9783540367499 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Métodos formales (Computación)--Congresos<br/>Componentes software--Congresos<br/>Programación orientada a objetos (Computación)--Congresos
<br/><br/><label>LC Class. No.: </label>QA76.9F67  / F66 2005 
<br/><br/><label>Dewey Class. No.: </label>005.13/1