Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Imagen de cubierta de Amazon
Imagen de Amazon.com

Formal specification : techniques and applications / Nismal Nissanke

Por: Nissanke, Nimal [autor]Tipo de material: TextoTextoIdioma: ENG Editor: New York : Springer Verlag, 1999Descripción: 295 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 1852330023 (papel alcalino)Tema(s): Métodos formales (Computación) | Software de aplicación -- DesarrolloClasificación CDD: 005.13/1 Clasificación LoC:QA76.9F67 | N57
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
Coleccion General QA76.9F67 N57 (Navegar estantería(Abre debajo)) 1 Disponible 84180
Libros Libros Libros
Libros
Coleccion General QA76.9F67 N57 (Navegar estantería(Abre debajo)) 1 Disponible 84385
Libros Libros Libros
Libros
Coleccion General QA76.9F67 N57 (Navegar estantería(Abre debajo)) 1 Disponible 88596
Libros Libros Libros
Libros
Coleccion General QA76.9F67 N57 (Navegar estantería(Abre debajo)) 1 Disponible 88597
Total de reservas: 0

Incluye referencias bibliograficas e indice

No hay comentarios en este titulo.

para colocar un comentario.

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

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

Aviso de Privacidad