Program construction and verification

Detalles Bibliográficos
Autor principal: Backhouse, Roland Carl
Lenguaje:eng
Publicado: Prentice-Hall 1986
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/109435
Descripción
Descripción no disponible.

Ejemplares similares