Biblioteca da Universidade do Minho

Your cart is empty.
No cover image available
Normal view MARC view ISBD view

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

Main Author Gomes, Leandro Rafael Moreira Secondary Author Barbosa, L. S.
Madeira, Alexandre Leite de Castro Corporate Author (Secondary) Universidade do Minho. Escola de Engenharia Country Portugal. Publication [Braga : s.n.], 2022 Dissertation Note or Thesis: CDU 519.681 517.987 681.3 Online resource Acesso livre
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

Descrição baseada no documento eletrónico

Tese doutoramento (Doctoral programme) Computer Science Escola de Engenharia da Universidade do Minho 2022

There are no comments for this item.

Log in to your account to post a comment.