Data/hora: 04/06/2024 15:43:38

Biblioteca(s): | Ebooks.
Data corrente: | 16/06/2011
Data da última atualização: | 16/06/2011
Autoria: | GUPTA, A.; MALIK, S.
Afiliação: | Aarti Gupta; Sharad Malik.
Título: | Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
Ano de publicação: | 2008
Fonte/Imprenta: | Springer eBooks.
Descrição Física: | v.: digital
Série: | Lecture Notes in Computer Science,5123
ISBN: | 9783540705451
Idioma: | Inglês
Palavras-Chave: | Artificial Intelligence (incl. Robotics); Logic Design; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering.
Thesaurus Nal: | artificial intelligence; computer science.
Categoria do assunto: | --
URL: | http://dx.doi.org/10.1007/978-3-540-70545-1
Registro original: | Ebooks (Ebooks)