Gomes, Leandro Rafael Moreira.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Weighted Computations : = Semantics and Program Logics = Computacoes Pesadas: Semanticas e Logicas de Programas.
by:
Gomes, Leandro Rafael Moreira.; ProQuest Information and Learning Co.; Universidade do Minho (Portugal).
(Electronic resources)