skip to main content

Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

TACAS '99 (1999 Amsterdam, Netherlands) W. R Cleaveland 1961- (Walter Rance); European Conferences on Theory and Practice of Software (1999 Amsterdam, Netherlands)

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1579 ) e outros locais(Acessar)

Buscando em bases de dados remotas. Favor aguardar.