Idioma:

Interactive systems design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers

DSV-IS 2003 (2003 Funchal, Madeira Islands) J. A Jorge (Joaquim A.); Nuno Jardim Nunes; João Falcão e Cunha

Localização: EACH - Esc. Artes, Ciências e Humanidades (004.33 D811i 2003 ) e outros locais(Acessar)

Título:
Interactive systems design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers
Autor: DSV-IS 2003 (2003 Funchal, Madeira Islands)
J. A Jorge (Joaquim A.); Nuno Jardim Nunes; João Falcão e Cunha
Assuntos: Interactive computer systems -- Congresses; SISTEMAS DE INFORMAÇÃO; COMPUTAÇÃO GRÁFICA; SOFTWARES
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 2844
Editor: Berlin Springer New York
Data de criação/publicação: c2003
Formato: xiii, 427 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados