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

Internet

http://cds.cern.ch/record/109435

Ejemplares similares