Formal Methods in Systems Design
Código CCN: 095378-4
| ISSN (Online): 0925-9856 |
| 国: Não informado |
| 出版者: Kluwer Academic Publishers |
| Imprenta:
Boston, Mass.:
Kluwer Academic Publishers,
2001
|
| 主題: INFORMATICA |
| Área de numeração: Vol. 1, No. 1 (July 1992)- |
Coleção
| Instituição | Unidade | Biblioteca | Coleção | Dados | ||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Pontifícia Universidade Católica do Rio Grande do Sul | Centro de Ciências Exatas e da Natureza | Biblioteca Central Irmão José Otão | 1997 10(1-3), 11(1-3); 1998 12(1-3), 13(1-3); 1999 14(2-3), 15(1- 3); 2000 16(1-3), 17(1-3); 2001 18(1-3), 19(1-3); 2002 20(1-3), 21(1-3); 2003 22(1-3), 23(1-3); 2004 24(1-3), 25(1-3); 2005 26(1-3), 27(1-3); 2006 28(1-3), 29(1-3); | |||||||
| Universidade Federal de Pernambuco | - | Biblioteca de Matemática, Estatística e Informática | 1995-98 6-13; 2001 18-19; 2002 20,21(1-3) | |||||||
| Universidade do Vale do Rio dos Sinos | - | Biblioteca Central | 2000 16(1-3), 17(1-3); 2001 18(1-3), 19(1-3); 2002 20(1-3), 21(1- 3); 2003 22(1-3), 23(1-3); 2004 24(1-3), 25(1,2/3) | |||||||