Formal methods for components and objects: 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures

Detalles Bibliográficos
Autores principales: Bonsangue, Marcello M, Graf, Susanne, de Roever, Willem-Paul, Roever, Willem-Paul de
Lenguaje:eng
Publicado: Springer 2008
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756805

Internet

http://cds.cern.ch/record/2756805

Ejemplares similares