Idioma:

Computer aided verification 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20 2006 : proceedings

CAV (Conference) (18th 2006 Seattle, Wash.) Thomas Ball 1965; Robert B Jones (Robert Brent) 1969

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

Título:
Computer aided verification 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20 2006 : proceedings
Autor: CAV (Conference) (18th 2006 Seattle, Wash.)
Thomas Ball 1965; Robert B Jones (Robert Brent) 1969
Assuntos: SEMÂNTICA DE PROGRAMAÇÃO (CONGRESSOS); ENGENHARIA DE PROGRAMAS -- CONGRESSOS; Computer software -- Verification -- Congresses; Integrated circuits -- Verification -- Congresses; Circuits int egr es -- V erification -- Congr es; Logiciels -- V erification -- Congr es
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 4144; LNCS sublibrary SL 1 Theoretical computer science and general issues
Editor: Berlin Springer New York
Data de criação/publicação: c2006
Formato: xv, 564 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

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