Verificacion de programas y metodologia de la programacion

Por: Diaz de ILarraza Sanchez, A Tipo de material: Texto

TextoDetalles de publicación: España 1992Descripción: 199pISBN: 84-7585-266-1Tema(s): 1.ESPECIFICACION DE ABSTRACCIONES FUNCIONALES 2.SISTEMA FORMAL DE HOARE 3.DERIVACION FORMAL DE PROGRAMAS

Contenidos:

1.Concepto de sistema formal y de demostracion formal 2.Problema de la terminacion de programas 3.Intruccion goto

Resumen: Trata de la asignatura Teoría de la Computación y Verificación de Programas, una introducción a la teoría de la computabilidad y complejidad computacional de problemas y la teoría de correctitud de programas, que dicto en la Licenciatura en Informática de la Facultad de Informática de la Universidad Nacional de La Plata desde hace varios años.

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

Existencias ( 1 )
Notas de título ( 4 )
Comentarios ( 0 )

Existencias
Tipo de ítem	Biblioteca actual	Signatura	Copia número	Estado	Fecha de vencimiento	Código de barras
Libros	Biblioteca URACCAN, Bilwi	1406 C1 (Navegar estantería (Abre debajo))	C1	Disponible

Navegando Biblioteca URACCAN, Bilwi Estantes Cerrar el navegador de estanterías (Oculta el navegador de estanterías)

Previo	No hay imagen de cubierta disponible	No hay imagen de cubierta disponible				No hay imagen de cubierta disponible		Siguiente
Previo	14056 C1 Informe Anual del banco central de Nicaragua 1992	14057 C2 Informe Anual del banco central de Nicaragua 1992	14058 C1 La corte de justicia de la comunidad Centroamericana/ Rafael Chamorro Mora	1406 C1 Verificacion de programas y metodologia de la programacion	1407 C1 El periodismo audiovisual ante el año 2000: I jornadas Internacionales / Carmen Peñafiel	14072 C1 Educación en Concertación 2 Para un Proyecto Educativo Nacional /Juan B.Arrien	14078 C1 La otredad Cultural entre utopía y ciencia: Un estudio sobre el orígen el desarrollo y la orientación de la Antropología / Esteban Krotz	Siguiente

incluye índice

1.Concepto de sistema formal y de demostracion formal 2.Problema de la terminacion de programas 3.Intruccion goto

Trata de la asignatura Teoría de la Computación y Verificación de Programas, una introducción a la teoría de la computabilidad y complejidad computacional de problemas y la teoría de correctitud de programas, que dicto en la Licenciatura en Informática de la Facultad de Informática de la Universidad Nacional de La Plata desde hace varios años.

Col.Inform

No hay comentarios en este titulo.

para colocar un comentario.