|
Registro Completo |
|
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: |
https://dx.doi.org/10.1007/978-3-540-88387-6
|
|
Marc: |
LEADER 01005nam a2200289 a 4500
001 1893517
005 2013-02-04
008 2008 bl uuuu u0uu1 u #d
020 $a9783540883876
100 1 $aCHA, S. (.
245 $aAutomated Technology for Verification and Analysis$b6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings$h[electronic resource]
260 $aSpringer eBooks.$c2008
300 $cv.: digital
490 $aLecture Notes in Computer Science,5311
650 $acomputer science
650 $ainformation systems
653 $aComputer Communication Networks
653 $aInformation Systems and Communication Service
653 $aLogic design
653 $aLogics and Meanings of Programs
653 $aProgramming Languages, Compilers, Interpreters
653 $aSoftware Engineering
653 $aSpecial Purpose and Application-Based Systems
700 1 $aCHOI, J.-Y.
700 1 $aKIM, M.
700 1 $aLEE, I.
700 1 $aVISWANATHAN, M.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Ebooks (Ebooks) |
|
