Formal Aspects of Computing

Código CCN: 086659-8


ISSN (Online): 0934-5043
País: Não informado
Editor: Springer International
Imprenta: London: Springer International, 1989
Numbering area: Vol. 1, No. 1 (Mar. 1989)-

LEADER 02250 a2200433
008 890824c1989
022 |a 0934-5043 
035 |a 086659-8 
041 # 0 |a ENG 
044 |a Não informado 
210 1 |a Form. Asp. Comput. 
245 1 |a Formal Aspects of Computing 
245 0 0 |  0 
260 |b Springer International 
260 |a London 
260 |c 1989 
362 1 |a Vol. 1, No. 1 (Mar. 1989)- 
500 |a Frequência anual de 1989 a 1990 Frequência trimestral em 1991 
525
580
599 |a Técnico-científico 
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 Departamento de Ciência e Tecnologia Aeroespacial  |b Instituto Tecnológico de Aeronáutica  |c Biblioteca 
852 |a Departamento de Ciência e Tecnologia Aeroespacial  |b Instituto Tecnológico de Aeronáutica  |c Biblioteca 
852 |a Universidade Estadual de Campinas  |b Centro de Lógica, Epistemologia e História da Ciência  |c Biblioteca Michel Debrun 
852 |a Pontifícia Universidade Católica do Rio de Janeiro  |b Departamento de Informática  |c Biblioteca Setorial de Informática "Prof. Sérgio Carvalho" 
866 |a 1995-97 7-9; 1998 10(1-6) 
866 |a 1995-96 7-8 
866 |a 1997 9(1-6); 1998 10(1-6); 2000 12(1-6); 2002 14(1-4) 2003 15(1-4); 2004 1 6(1-3); 2005 17(1-4); 2006 18(1-4); 2007 19(1-4); 2008 20(1-3,4/5-6); 2009 21(1 -4,6); 2010 22(1-6); 2011 23(1-6); 2012 24(1-3,4/6); 2013 25(1-6); 2014 26(1-3,5 -6); 2015 27(1-4.5/6) 2011 23(1-6); 2012 24(1-3,4/6); 2013 25(1-6); 2014 2 6(1-3,5-6); 2015 27(1- 4,5/6) 
866 |a 1989 1(1-4) ; 1990 2(1-3) ; 1991 3(1-4) ; 1992 4(1-5,6,6A) ; 1993 5(1- 6) ; 1994 6(1-5,6; 6A) ; 1995 7(1-6) ; 1996 8(1-6) ; 1997 9(1-2,5-6) ; 1998 10(1) ; 1999 11(2-3,5) ; 2000 12(1-6) ; 2001 13(1) ; 2002 13(2) , 14(1-2) ; 2003 14(3) , 15(1-4) ; 2004 16(1-4) ; 2005 17(1-4) ; 2006 18(1-4) ; 2007 19(1-3)