Métosos formales

Por: Avendaño López Danilo Tipo de material: Texto

TextoDetalles de publicación: 2007Edición: 1ra edDescripción: 47 PTema(s): 1. INFORMATICA 2.SISTEMA DE INFORMACIÓNClasificación CDD: 004.42A951

Contenidos:

Métodos formales en el diseño de sistemas de información; lenguaje de especificación formal; problemas de los enfoques menos formales.

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.

Existencias
Tipo de ítem	Biblioteca actual	Colección	Signatura	Copia número	Estado	Fecha de vencimiento	Código de barras
Libros	Biblioteca URACCAN, Nueva Guinea Staff Office	Informática Administrativa	6293C1 (Navegar estantería (Abre debajo))	C1	Disponible Colección de Staff		6293C1

Previo		No hay imagen de cubierta disponible	No hay imagen de cubierta disponible	No hay imagen de cubierta disponible				Siguiente
Previo	5891C1 Redes Neurales / James A. Anderson	6016C1 Curso, procesamiento y análisis de datos con el software SPSS y elaboración de instrumentos de investigación / Eugenio López Mairena	6116C1 Macromedia Dream weaver	6293C1 Métosos formales	6391C1 Fundamentos de programación C/C++ / Ernesto Peñaloza Romero	6393C1 Aplicaciones .NET multiplataforma ( Proyecto Mono ) Plataforma Linux, Windows, Mac OS X. / Fco. Javier Ceballos Sierra	6394C2 Aplicaciones .NET multiplataforma ( Proyecto Mono ) Plataforma Linux, Windows, Mac OS X. / Fco. Javier Ceballos Sierra	Siguiente

Incluye. Figuras, tablas, diagramas, bibliografia

Métodos formales en el diseño de sistemas de información; lenguaje de especificación formal; problemas de los enfoques menos formales.

Col. Inform

No hay comentarios en este titulo.

para colocar un comentario.