Gomes,, Leandro Rafael Moreira
Weighted computations [Documento eletrónico] : semantics and program logics = [Computações pesadas : semânticas e lógicas de programas] / Leandro Rafael Moreira Gomes ; orient. Luís Soares Barbosa, Alexandre Madeira
Weighted computations [Documento eletrónico] : semantics and program logics = [Computações pesadas : semânticas e lógicas de programas] / Leandro Rafael Moreira Gomes ; orient. Luís Soares Barbosa, Alexandre Madeira
. - [Braga : s.n.], 2022
. -
519.681
517.987
681.3