Saltar al contenido

Biblioteca IPCHILE

Nuevos ejemplares
Revisar el Catálogo
Lista Alfabética
Explorar canales
Reservas de Curso

Ir a la portada del Descubridor Biblioteca IP Chile Descubridor Biblioteca

Entrar
- Español
- English

Avanzado

Especificación, verificación...
Text This

Describir: Especificación, verificación y derivación formal de programas /

Número:

Proveedor:

El descubridor académico del Instituto Profesional de Chile: catálogo, bases suscritas y acceso abierto en un solo buscador.

Sedes La Serena · República · Rancagua · Temuco

Opciones de búsqueda

Historial de Búsqueda
Búsqueda Avanzada

Buscar Más

Revisar el Catálogo
Lista Alfabética
Explorar canales
Reservas de Curso
Nuevos ejemplares

¿Necesita Ayuda?

Consejos de búsqueda
Consulte a un Bibliotecario
Preguntas Frecuentes