A study in the foundations of programming methodology: Specifications, institutions, charters and parchments
Goguen, Joseph A. ; Burstall, R. M.
Category Theory and Computer Programming, 1986, p.313-333 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 