Título Introducción a la verificación de programas;J. Cuena Bartolomé;
Lugar de publicación Madrid
Editorial Universidad Politécnica, Facultad de Informática, Departamento de Publicaciones
Fecha de publicación D.L. 1980
Descripción física o extensión 117 p.
Dimensiones 29 cm
Depósito Legal M 33493-1980
Tipo de material [Texto impreso]
ISBN 84-600-2022-3

Tipo

Libro

Temas

Programación estructurada

Acceder a esta obra

Este recurso puede obtenerse en la propia Biblioteca Nacional de España, solicitando una copia, o por préstamo interbibliotecario (solo bibliotecas), utilizando las siguientes opciones:

Ejemplares disponibles

Signatura 9/70494
Localización SG_RECOLET
Biblioteca BNMADRID
Signatura DL/502476
Localización CONSERVACI
Biblioteca BNALCALA

Más información de ejemplares

Signatura 9/70494
Localización SG_RECOLET
Signatura DL/502476
Localización CONSERVACI