Your search returned 4 results. Subscribe to this search

|
Behavioral reasoning in generalized hidden logics / Manuel A. Martins Monografia Publication [Lisboa : s.n.], 2004 Description XXII, 216 p. : il. ; 30 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Proof support for hybridised logics [Documento electrónico] / Renato Jorge Araújo Neves ; orient. Manuel António Martins, Luís Soares Barbosa Monografia Publication [Braga : s.n.], 2013 Online resource Acesso livre Availability No copies available

Hybrid programs [Documento eletrónico] / Renato Jorge Araújo Neves ; orient. Luís Soares Barbosa, Manuel António Martins Monografia Publication [Guimarães : s.n.], 2018 Online resource Acesso livre Availability No copies available

Foundations and techniques for software reconfigurability [Documento eletrónico] / Alexandre Leite de Castro Madeira ; orient. Luís Soares Barbosa, Manuel A. Maritns [i.é] Martins Monografia Publication [Braga : s.n.], 2013 Online resource Versão eletrónica. Acesso livre Availability No copies available