skip to main content

Idioma:

Automated technology for verification and analysis third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7 2005 : proceedings

ATVA 2005 (2005 Taipei, Taiwan) Doron Peled 1962; Yih-Kuen Tsay 1962

Berlin Springer New York 2005

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

Enviar para

Título:
Automated technology for verification and analysis third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7 2005 : proceedings
Autor: ATVA 2005 (2005 Taipei, Taiwan)
Doron Peled 1962; Yih-Kuen Tsay 1962
Assuntos: Automatic theorem proving -- Congresses; Calculs num eriques -- V erification -- Informatique -- Congr es; Logiciels -- V erification -- Congr es; Th eor emes -- D emonstration automatique -- Congr es; Calcul num erique; V erification de logiciels; V erification formelle; D emonstration automatique de th eor emes; Model-checking (Informatique); ENGENHARIA DE PROGRAMAS -- CONGRESSOS; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS (CONGRESSOS); TESTE E AVALIAÇÃO DE SOFTWARE -- CONGRESSOS
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 3707
Editor: Berlin Springer New York
Data de criação/publicação: 2005
Formato: xii, 506 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Ir para página anterior

Anterior Resultado 2 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_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento