|
|
Registro Completo |
Biblioteca(s): |
Ebooks. |
Data corrente: |
16/06/2011 |
Data da última atualização: |
16/06/2011 |
Autoria: |
SIMON, A. |
Afiliação: |
Axel Simon. |
Título: |
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities |
Ano de publicação: |
2008 |
Fonte/Imprenta: |
Springer eBooks. |
Descrição Física: |
v.: digital |
ISBN: |
9781848000179 |
Idioma: |
Inglês |
Palavras-Chave: |
Electronic data processing; Logic design; Logics and Meanings of Programs; Numeric Computing; Software Engineering. |
Thesaurus Nal: |
computer science. |
Categoria do assunto: |
-- |
URL: |
https://dx.doi.org/10.1007/978-1-84800-017-9
|
Marc: |
LEADER 00607nam a2200193 a 4500 001 1893309 005 2011-06-16 008 2008 bl uuuu u0uu1 u #d 020 $a9781848000179 100 1 $aSIMON, A. 245 $aValue-Range Analysis of C Programs$bTowards Proving the Absence of Buffer Overflow Vulnerabilities$h[electronic resource] 260 $aSpringer eBooks.$c2008 300 $cv.: digital 650 $acomputer science 653 $aElectronic data processing 653 $aLogic design 653 $aLogics and Meanings of Programs 653 $aNumeric Computing 653 $aSoftware Engineering
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Ebooks (Ebooks) |
|
Nenhum exemplar cadastrado para este documento. |
Voltar
|
|
Registros recuperados : 402 | |
2. | | SIMON, E. D. T. Caracterização de genótipos crioulos de cana-de-açúcar. 2015. 69 f. Dissertação (Mestrado) - Programa de Pós-Graduação em Sistemas de Produção Agrícola Familiar. Universidade Federal de Pelotas, Pelotas. Orientador: Sérgio Delmar dos Anjos e Silva; Co-orientador: Luís Antônio Veríssimo Corrêa.Tipo: Orientação de Tese de Pós-Graduação |
Biblioteca(s): Embrapa Clima Temperado. |
| |
5. | | SIMON, M. F. Conservação in situ. Brasília: Embrapa Recursos Genéticos e Biotecnologia, 2010. 7 p. (Embrapa Recursos Genéticos e Biotecnologia. Documentos, 316).Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
Registros recuperados : 402 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|