An algebraic theory of program specification and correctness using symmetry operations

Detalles Bibliográficos
Autor principal: Gabriel, J R
Lenguaje:eng
Publicado: 1987
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/177913

Internet

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

Ejemplares similares