Catálogo en línea Koha › Detalles para: Program verification using Ada

Program verification using Ada

Editor: Cambrige-US Cambrige University Press 1982Descripción: 344 p.Tema(s): ADA (LENGUAJE DE PROGRAMACION PARA COMPUTADORAS)Clasificación CDD: 001.6424 McG

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

Tipo de ítem	Ubicación actual	Signatura	Estado	Fecha de vencimiento	Código de barras
LIBRO	Campus	001.6424 McG (Navegar estantería)	Disponible		023291

Previo	No hay imagen de cubierta disponible	No hay imagen de cubierta disponible	No hay imagen de cubierta disponible	No hay imagen de cubierta disponible	No hay imagen de cubierta disponible	No hay imagen de cubierta disponible	No hay imagen de cubierta disponible	Siguiente
Previo	001.6424 McC Programación Fortran IV	001.6424 McG Algol 68 : a fist anx secoud course	001.6424 McG The definition of programming languages	001.6424 McG Program verification using Ada	001.6424 MUR An introduction to Fortran IV programming a general approach	001.6424 NAM Quick basic : manual de referencia	001.6424 O'BR Student study guide for use with computers an introduction	Siguiente

No hay comentarios para este ejemplar.

Ingresar a su cuenta para colocar un comentario.