|
|
|
|
| LEADER |
01635 a2200373 |
| 008 |
011018c1992 |
| 022 |
|
|
|a 0925-9856
|
| 035 |
|
|
|a 095378-4
|
| 041 |
# |
0 |
|a ENG
|
| 044 |
|
|
|a Não informado
|
| 210 |
1 |
|
|a Form. Methods Syst. Des.
|
| 245 |
1 |
|
|a Formal Methods in Systems Design
|
| 245 |
0 |
0 |
| 0
|
| 260 |
|
|
|b Kluwer Academic Publishers
|
| 260 |
|
|
|a Boston, Mass.
|
| 260 |
|
|
|c 2001
|
| 362 |
1 |
|
|a Vol. 1, No. 1 (July 1992)-
|
| 599 |
|
|
|a Técnico-científico
|
| 650 |
|
|
| INFORMATICA
|
| 699 |
|
|
|a CIENCIAS EXATAS E DA TERRA
|
| 710 |
0 |
1 |
|a Não informado
|
| |
|
|
| Sem complementação de título
|
| 853 |
|
|
|a Volume/Ano/Tomo
|b Número
|i Ano de Publicação
|j Mês/Temporada
|z Formato físico da coleção
|
| 852 |
|
|
|a Pontifícia Universidade Católica do Rio Grande do Sul
|c Biblioteca Central Irmão José Otão
|
| 852 |
|
|
|a Universidade Federal de Pernambuco
|b Centro de Ciências Exatas e da Natureza
|c Biblioteca de Matemática, Estatística e Informática
|
| 852 |
|
|
|a Universidade do Vale do Rio dos Sinos
|c Biblioteca Central
|
| 866 |
|
|
|a 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);
|
| 866 |
|
|
|a 1995-98 6-13; 2001 18-19; 2002 20,21(1-3)
|
| 866 |
|
|
|a 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)
|
