Idioma:

Tools and algorithms for the construction and analysis of systems first international workshop, tacas'95, aarhus, denmark, may 19-20, 1995, selected papers

Workshop on Tools and Algorithms for the Construction and Analysis of Systems (1. 1995 Aarhus, Dt) Ed Brinksma; W Rance Cleaveland; Tiziana Magaria; Bernhard Stefen

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

Título:
Tools and algorithms for the construction and analysis of systems first international workshop, tacas'95, aarhus, denmark, may 19-20, 1995, selected papers
Autor: Workshop on Tools and Algorithms for the Construction and Analysis of Systems (1. 1995 Aarhus, Dt)
Ed Brinksma; W Rance Cleaveland; Tiziana Magaria; Bernhard Stefen
Assuntos: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
Editor: Berlin Springer
Data de criação/publicação: 1995
Formato: 289 p.
Idioma: Inglês

Links

Voltar para lista de resultados

Resultado 1 Avançar Ir para próxima página