A theory of program correctness, and algorithms for proofs

Detalles Bibliográficos
Autores principales: Gabriel, J R, Chapman, R, Kljaich, J L
Lenguaje:eng
Publicado: 1987
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/178620

Internet

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

Ejemplares similares