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