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

Na minha lista:
Detalhes bibliográficos
Principais autores: CAV (Conference) (18th : 2006 : Seattle, Wash.), Ball, Thomas, Jones, Robert B.
Formato: Livro
Publicado em:
Assuntos:
Software de computadores -
Verificação -
Congressos.
Circuitos integrados -
Endereço do item:https://app.bczm.ufrn.br/home/#/item/101914
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-72098
record_format dspace
spelling oai:localhost:123456789-720982022-11-30T07:19:52Z Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / CAV (Conference) (18th : 2006 : Seattle, Wash.) Ball, Thomas, Jones, Robert B. Software de computadores - Verificação - Congressos. Circuitos integrados - Verificação - Congressos. 1 2022-10-05T17:32:02Z 2022-10-05T17:32:02Z c2006. Livro 681.3.06 C738 354037406X#$&9783540374060 101914 https://app.bczm.ufrn.br/home/#/item/101914 https://app.bczm.ufrn.br/home/#/item/101914
institution Acervo SISBI
collection SIGAA
topic Software de computadores -
Verificação -
Congressos.
Circuitos integrados -
Verificação -
Congressos.
spellingShingle Software de computadores -
Verificação -
Congressos.
Circuitos integrados -
Verificação -
Congressos.
CAV (Conference) (18th : 2006 : Seattle, Wash.)
Ball, Thomas,
Jones, Robert B.
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
description
format Livro
author CAV (Conference) (18th : 2006 : Seattle, Wash.)
Ball, Thomas,
Jones, Robert B.
author_facet CAV (Conference) (18th : 2006 : Seattle, Wash.)
Ball, Thomas,
Jones, Robert B.
author_sort CAV (Conference) (18th : 2006 : Seattle, Wash.)
title Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
title_short Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
title_full Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
title_fullStr Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
title_full_unstemmed Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
title_sort computer aided verification : 18th international conference, cav 2006, seattle, wa, usa, august 17-20, 2006 : proceedings /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/101914
work_keys_str_mv AT cavconference18th2006seattlewash computeraidedverification18thinternationalconferencecav2006seattlewausaaugust17202006proceedings
AT ballthomas computeraidedverification18thinternationalconferencecav2006seattlewausaaugust17202006proceedings
AT jonesrobertb computeraidedverification18thinternationalconferencecav2006seattlewausaaugust17202006proceedings
_version_ 1766816122348240896

Registros relacionados