adicionar à lista de desejos
Value-Range Analysis Of C Programs
Towards Proving The Absence Of Buffer Overflow Vulnerabilities
idioma: inglês
Editor:
SPRINGER LONDON LTD, maio de 2011 ‧
ver detalhes do produto
177,78€
10% DESCONTO
CARTÃO
U1dSclRYa3pUa1IyVVVkcGQwaEhkVVIzVlRJeVNGUmlVMkZUU2xaYVNVRkhVSEF4ZGt0cEsyVnJWM1JIYzA5WWFFUkhPRVJrUmxKaFRHNHpjak5JYUdOUVQxbHFkVVpvUmtSblJWSjRlVXh3U2k5VFNqaHRVelY1WTNkMmQzZG9NRXgzTWpkbldEVTVaMHRaZGsxT1VFOXNTVkEyTWtOdWJtMWFSbk01TVZSQk9HMWFOMWRQYmxOaGN6RmxNemxKWlhCa1pYWnZhbE4yU200M2FEWnlUR3hKWkc1UGRTdEdOWE5NUzIxUU1HbGtVWEUyY1ZkaWEzQXhSWGd6T0N0TlVEZHlWbTlSVDFWSllrRmpPVlYyYmtsamVWZERkR3haZEZRME1YaGFWR1IwTmtocE16ZzRXVTlsV1ZsVVV5OHJlSE13TkdaS1ZuVlVSRlpaVlhOS1UyMVdabVJaWlRkTFZXMW1hMHd6UXpacGF6TTFjM2xIWldKTE4wMU5jbm95YTJSYWFITXhOekJzYkhkR1ptY3lMMmN2V2pFd1ptOVRUMkZZY1hONFZsbDNhRmxWUjJoT2IzcENSblJqVWpkalZqZzFORk52TVRZNFdscFhkR1p1VGxKR2IwOXZXbU51THpkRGQyWTJha1o0WTFoWFpqbHplSGRPSzA1VmFHbDFaWEJJYWpocmMwMTZjVTRyV0ZkME1FWkpkakF5V0V4emNYQnBlVTVNWlZZeUwyaFRiMmhNUVVvd0swRkdZa1ZzY0ZFd1JXdFdUMmRCU0VGb1JIWm5TR1pUY1c4eGNESm5UbWN3TlRndlNIWXJSRU5FZVdaelUycFVla2cxYnpkQlZEa3pTVEE1VVhjNE5HVndVR1p1T0RKd1prSmxTR0kyVkZGNVoyWkxSVGd5VDBVd1kzY3lZbkpIWlRKVWRtNHdNRm8zUmxWUVpDczNibEUzUm5welRubG1WMjFITjBsNFpuUTJXVWRSUzNSak5sQlJTa05rWmxWRGFYTlRNWEZvT1RnMGFFeFhUbk16YlU5cGJVRjBaelJxVEhRelltVmlORTUzWlhkM2VYTmFTekE1V1RRd0wyUkhSelpyUTI1R1YydEhVMUpQUm5KNFJYVkRUWEpTY21sS2VITjFkMmh6VjNsTmVqaGxaSEZtYkdKb2RrVlBaRGRCUW1OWmMzSlZXVVoyVVdWQk1YWkNhamg1Y1dsa1RXb3hURFF3VURkMVFtMHJlalVyV1RCUVRIaG9ZalIwV0RoMVF6RTVhVFExY1d4UlJ6aFllalpHYlZaaFNVZEJXbVpyVGs1QmNXZzFNVEI0U25KaWFsVmljVms1YzA5SVNWZFZZelpLWTJjdlNtVkNhak5DYVZKVlptZFpNVGNyWkVrd01WRndLM0k0YlVOeWNIcFJTa1V5VVRCUlZFTXlhM28yYlU1MVRUVm1NbFJvU1N0aGJFUnZZV2hFVjFKclRBPT06TzgzaGFHTENHSWNRd2cxemtMM2laQT09
portes grátis
Venda o seu livro
SINOPSE
The book formally describes how program operations are mapped to operations on polyhedra and details how to limit the analysis to those p- tionsofstructuresandarraysthatarerelevantforveri?cation.Withrespectto operations on string bu?ers, we demonstrate how to analyse C strings whose length is determined by anul character within the string.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781849967020 |
| Editor: | SPRINGER LONDON LTD |
| Data de Lançamento: | maio de 2011 |
| Idioma: | Inglês |
| Encadernação: | Capa mole |
| Páginas: | 302 |
| Tipo de produto: | Livro |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
|
| EAN: | 9781849967020 |
-
10%Internet Et Libertés : 15 Ans De Combat De La Quadrature Du NetVUIBERT21,09€ 10% CARTÃOportes grátis
-
Value-Range Analysis Of C ProgramsSPRINGER LONDON LTD205,99€portes grátis