Universidad Nacional Autónoma de México
Facultad de Ingeniería
Catálogo de la Biblioteca "Ing. Antonio Dovalí Jaime"

Imagen de cubierta de Amazon
Imagen de Amazon.com

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures / Frank S. de Boer ... [y otros.], eds.

Por: FMCO 2005 (2005 : Amsterdam, Holanda)Colaborador(es): Boer, Frank S. de [editor]Tipo de material: TextoTextoSeries Lecture notes in computer science ; 4111Editor: Berlin : Springer Verlag, c2006Descripción: viii, 427 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3540367497 (rústica); 9783540367499Otro título: FMCO 2005 [Parte del título]Tema(s): Métodos formales (Computación) -- Congresos | Componentes software -- Congresos | Programación orientada a objetos (Computación) -- CongresosClasificación CDD: 005.13/1 Clasificación LoC:QA76.9F67 | F66 2005
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Clasificación Copia número Estado Fecha de vencimiento Código de barras Reserva de ítems
Libros Libros Libros
Libros
General QA76.9F67 F66 2005 (Navegar estantería(Abre debajo)) 1 Disponible 189199
Total de reservas: 0

compra 2013/06/06 886.00

No hay comentarios en este titulo.

para colocar un comentario.


Universidad Nacional Autónoma de México 

Biblioteca "Ing. Antonio Dovalí Jaime” Edificio "A" de la Facultad de Ingeniería

©2024 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad