Theoretical aspects of computer software Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings
TACS '97 (1997 Sendai-han, Japan) Martín Abadi; T Ito (Takayasu) 1940-
Berlin New York Springer c1997
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1281 ) e outros locais(Acessar)