Detalhes do Documento

Tipo de Documento Outro
Idioma Inglês
facebook logo  linkedin logo  twitter logo 
mendeley logo

Documentos Relacionados

bGSL: An imperative language for specification and refinement of backtracking programs

Alexandra Sofia Mendes

mais

Data: 2023

Logic, Algebra, and Geometry at the Foundation of Computer Science

Alexandra Sofia Mendes; Hoare,T; Ferreira,JF

mais

Data: 2019