Idioma:

Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

TACAS 2000 (6th 2000 Berlin, Germany) Susanne Graf; Michael I Schwartzbach; ETAPS 2000 (2000 Berlin, Germany)

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

Título:
Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Autor: TACAS 2000 (6th 2000 Berlin, Germany)
Susanne Graf; Michael I Schwartzbach; ETAPS 2000 (2000 Berlin, Germany)
Assuntos: System design -- Congresses; Computer software -- Development -- Congresses; METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO; SISTEMAS DE INFORMAÇÃO
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 1785
Editor: Berlin Springer New York
Data de criação/publicação: c2000
Formato: xiv, 552 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 8