skip to main content

Idioma:

Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13-17 2004 ; proceedings

CAV (Conference) (16th 2004 Boston, MA) Rajeev Alur 1966; Doron Peled 1962

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

Enviar para

Título:
Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13-17 2004 ; proceedings
Autor: CAV (Conference) (16th 2004 Boston, MA)
Rajeev Alur 1966; Doron Peled 1962
Assuntos: SEMÂNTICA DE PROGRAMAÇÃO (CONGRESSOS); ENGENHARIA DE PROGRAMAS -- CONGRESSOS; Computer software -- Verification -- Congresses; Integrated circuits -- Verification -- Congresses; Electronic digital computers -- Evaluation -- Congresses; Logiciels -- V erification -- Congr es; Circuits int egr es -- V erification -- Congr es; Ordinateurs -- Evaluation -- Congr es; Circuit int egr e; V erification de logiciels; V erification formelle; Verifikation; Boston (Mass., 2004); Kongress
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 3114
Editor: Berlin Springer New York
Data de criação/publicação: c2004
Formato: xii, 536 p fig., tab 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

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

Ir para próxima página

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_FISICO)
Mostrar o que foi encontrado até o momento