Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
No cover image available
A bounded model checker for SPARK programs [Documento eletrónico] / Cláudio Filipe Belo da Silva Lourenço ; orient. Jorge Sousa Pinto, Maria João Frade Monografia Publication [Braga : s.n.], 2013 Online resource Acesso livre Availability No copies available

Add to cart
No cover image available
Single-assignment program verification [Documento electrónico] / Cláudio Filipe Belo da Silva Lourenço ; orient. Jorge Sousa Pinto Monografia Publication [Braga : s.n.], 2018 Online resource Acesso livre Availability No copies available

Add to cart
No cover image available
Verificação funcional de controladores Arduino [Documento eletrónico] / Rafael Alexandre Antunes Barbosa ; orient. Jorge Miguel de Matos Sousa Pinto, Cláudio Filipe Belo da Silva Lourenço Produtos Computador Publication [Braga : s.n.], 2018 Online resource Acesso livre Availability No copies available

Add to cart