Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 5, 2004, Revised Lectures /

Guardado en:
Autor Principal: Boer, Frank S.
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bonsangue, Marcello M., Graf, Susanne., Roever, Willem-Paul.
Formato: Electrónico
Idioma:English
Publicado: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
Series:Lecture Notes in Computer Science, 3657
Materias:
Acceso en línea:SpringerLink, via BECYT
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!