No cover image available
Formal methods in system design : an international journal / ed. Robert K. Brayton, Edmund M. Clarke, P. A. Subrahmanyam
Secondary Author Brayton, Robert K.Clarke, Edmund M.
Subrahmanyam, P. A. Country Holanda. Publication Dordrecht : Kluwer Academic Publishers, 1993- Description ; 24 cm ISSN 0925-9856
| Item type | Current location | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 12, nr. 1 (Jan.1998) | Não requisitável | Not for loan | 183826-10 | ||
| Publicação periódica | Biblioteca Geral da Universidade do Minho | BGUM | Vol. 2, nr. 3 (June 1993) | Não requisitável | Not for loan | 183826-100 | ||
| Publicação periódica | Biblioteca Geral da Universidade do Minho | BGUM | Vol. 3, nr. 1 (Aug.1993) | Não requisitável | Not for loan | 183826-110 | ||
| Publicação periódica | Biblioteca Geral da Universidade do Minho | BGUM | Vol. 2, nr. 1 (Feb.1993) | Não requisitável | Not for loan | 183826-120 | ||
| Publicação periódica | Biblioteca Geral da Universidade do Minho | BGUM | Vol. 3, nr. 3 (Dec.1993) | Não requisitável | Not for loan | 183826-130 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 14, nr. 2 (Mar.1999) | Não requisitável | Not for loan | 183826-170 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 11, nr. 3 (Oct.1997) | Não requisitável | Not for loan | 183826-173 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 12, nr. 3 (Apr.1998) | Não requisitável | Not for loan | 183826-174 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 13, nr. 1 (May 1998) | Não requisitável | Not for loan | 183826-175 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 14, nr. 1 (Jan.1999) | Não requisitável | Not for loan | 183826-180 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 14, nr. 3 (May 1999) | Não requisitável | Not for loan | 183826-190 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 11, nr. 1 (July 1997) | Não requisitável | Not for loan | 183826-20 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 15, nr. 2 (Sept.1999) | Não requisitável | Not for loan | 183826-200 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 15, nr. 1 (July 1999) | Não requisitável | Not for loan | 183826-210 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 15, nr. 3 (Nov.1999) | Não requisitável | Not for loan | 183826-220 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 10, nr. 1 (Feb.1997) | Não requisitável | Not for loan | 183826-30 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 10, nr. 2 (Apr./May 1997) | Não requisitável | Not for loan | 183826-40 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 11, nr. 2 (Aug.1997) | Não requisitável | Not for loan | 183826-50 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 12, nr. 2 (Mar.1998) | Não requisitável | Not for loan | 183826-60 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 13, nr. 2 (Sept.1998) | Não requisitável | Not for loan | 183826-70 | ||
| Publicação periódica | Biblioteca da UMinho no Campus de Azurém | BPG | Vol. 13, nr. 3 (Nov.1998) | Não requisitável | Not for loan | 183826-80 | ||
| Publicação periódica | Biblioteca Geral da Universidade do Minho | BGUM | Vol. 2, nr. 2 (Apr.1993) | Não requisitável | Not for loan | 183826-90 |
Total holds: 0
Descrição baseada em: Vol 2, nº 1 (Fev. 1993)
Bimestral
There are no comments for this item.