Program verification using Ada

Detalles Bibliográficos
Autor principal:	McGettrick, Andrew D. (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Cambridge : Cambridge University Press, c1982.
Materias:	ADA

Descripción
Descripción Física:	345 páginas

Ejemplares similares