Idioma:

Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers

FATES/RV 2006 (2006 Seattle, Wash.) Klaus Havelund; Manuel Nunez; Grigore Rosu; Burkhart Wolff 1962-

Localização: IME - Inst. Matemática e Estatística (S L471c v.4262 )(Acessar)

Título:
Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers
Autor: FATES/RV 2006 (2006 Seattle, Wash.)
Klaus Havelund; Manuel Nunez; Grigore Rosu; Burkhart Wolff 1962-
Assuntos: REDES E COMUNICAÇÃO DE DADOS (CONGRESSOS); PROTOCOLOS DE COMUNICAÇÃO (CONGRESSOS); ENGENHARIA DE PROGRAMAS -- CONGRESSOS; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS (CONGRESSOS); Formal methods (Computer science) -- Congresses; Computer software -- Testing -- Congresses; Software testing; Runtime verification; FATES; RV
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 4262
Editor: Berlin Springer
Data de criação/publicação: 2006
Formato: viii, 253 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados