Saltar conteúdo

Biblioteca da Universidade do Minho

Your cart is empty.

Cart
- Your cart is empty.
Lists

Languages
- English
- Português
Log in to your account
Search history [x]

Universidade do Minho - Serviço de Documentação e Bibliotecas

Pesquisa simples Simple search
Pesquisa avançada Advanced search
Índices Indexes search
Etiquetas/Tags Tags

Carrinho Cart

Área pessoal Personal area
Sair Logout

RepositóriUM RepositóriUM Bases de dados Databases A to Z A to Z Contactos Contacts Pergunte-nos Ask us

PT
|
EN

Search

Branches limit

Advanced search
Course reserves
Authority search
Tag cloud
Most popular

Log in to your account

Login Login: Password:

Forgot your password?

Cancel

Home ›
Results of search for 'Cláudio Filipe Belo da Silva Lourenço' with limit(s): 'itype:LIVRO'

Refine your search

Availability
- Limit to currently available items.
Authors
- Pinto,
- Frade,
Item types
- Monografia [x]

Your search returned 2 results.

|

		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 1 2 3 4 5 Add to cart (remove)
		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 1 2 3 4 5 Add to cart (remove)

Bibliotecas Libraries

Biblioteca Geral da UMinho
Biblioteca da UMinho no campus de Azurém
Biblioteca de Ciências da Educação
Biblioteca de Direito
Biblioteca Prof. Joaquim Pinto Machado
Biblioteca Nuno Portas
Biblioteca do campus de Couros
Outras bibliotecas

General Library of the University of Minho
Library of University of Minho on Azurém Campus
Library of Educational Sciences
Library of Law of the University of Minho
Library Prof. Joaquim Pinto Machado
Library Nuno Portas
Library Fernão Mendes Pinto
Library of the Couros campus
Other libraries

Serviços Services

Empréstimo Excecional
Empréstimo à Distância
Pedido de documentos ao exterior
Biblioteca digital
Reserva online de espaços
Guias e Ajudas
Antigos alunos
Pergunte-nos
Outros serviços

Exceptional loan
Distance Loan
Document supply
Digital library
Online booking (spaces)
Libraries user guide
Former Students
Ask-us
All services

Contactos gerais Contacts

Serviço de Documentação e Bibliotecas
Campus de Gualtar, Edifício 04
4710-057 Braga
+351 253 604 150
usdb@usdb.uminho.pt
http://www.sdum.uminho.pt

Serviço de Documentação e Bibliotecas
Campus de Gualtar, Edifício 04
4710-057 Braga
+351 253 604 150
usdb@usdb.uminho.pt

Contactos e horário

Biblioteca Comum

Languages:
English
Português