Data/hora: 03/06/2024 01:12:31

Biblioteca(s): | Ebooks.
Data corrente: | 16/06/2011
Data da última atualização: | 04/02/2013
Autoria: | CHA, S. (.; CHOI, J.-Y.; KIM, M.; LEE, I.; VISWANATHAN, M.
Afiliação: | Sungdeok (Steve). Cha; Jin-Young. Choi; Moonzoo Kim; Insup Lee; Mahesh Viswanathan.
Título: | Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
Ano de publicação: | 2008
Fonte/Imprenta: | Springer eBooks.
Descrição Física: | v.: digital
Série: | Lecture Notes in Computer Science,5311
ISBN: | 9783540883876
Idioma: | Inglês
Palavras-Chave: | Computer Communication Networks; Information Systems and Communication Service; Logic design; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Special Purpose and Application-Based Systems.
Thesaurus Nal: | computer science; information systems.
Categoria do assunto: | --
URL: | http://dx.doi.org/10.1007/978-3-540-88387-6
Registro original: | Ebooks (Ebooks)