Formal Methods in Systems Design

ISSN (Online): 0925-9856
Stato: Não informado
Editore: Kluwer Academic Publishers
Imprenta: Boston, Mass.: Kluwer Academic Publishers, 2001
Soggetto: INFORMATICA
Área de numeração: Vol. 1, No. 1 (July 1992)-

Instituição	Unidade	Biblioteca	Coleção
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)

Documenti analoghi