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
Y0hwblV6SmxTaTloYUVaNldubE1ZWEk1WkhKWU9UVTNVRGhhU0RWUlUydE1OM2x1TVhwQlNsQkpNRU56V0hGb2NIVkxZemxsZFhFck1XTndOSE5hU1U1TGVYRkNLMnd3VTFKWlJWVklVVXh5ZDI1c1pVdzVhV281UXpnelYzRklXU3R5VjNsNFl5c3ZUMElyV1ZvMVdraFVSRzQwTDJkM1lsSk1hMjlGYVZKcVRsQnpWM0ZQYTBka2MzaHBObTFXY1c1YVRqWlphMDUzTkN0RVRUUmtUVzlCYml0WVJYWmFiVGxrYjI1M2NtaGlWa051U0VKelowdG1XREUyUVhkVlFqY3pPWEF5T0VGMlFVaEhjblZrUTB4ck1qTkNNV1F2ZEZST1RtTkVRbkpCV0dsek9IYzNhM0JtTkZWelNHa3pSMlF6ZFU5MVEyTXdOVU5yZDJ0VWQyTkVMM05VVmxSbFYwRTBXa2t4TjJ4RE9HWmFhR2s1UnpOWVNEVm1NWGhMU0ZCNWVWZHhjelptTTBScWNVaG9RamRtY1VWbllURm5aekV6YjI1WFdrSmtVVWg2ZWk4NVdVMDRNek5tVXl0UmVEVkZSQzkyY2l0elR5OVlSMUZyYmtSNllXaEdUalJJZVVwV1lTOW5NMmhIZG5sM1YzZzRia1puYzBkb1FtcFFUVGhwTjNkS1RrWjRLMmhoUlZsM09XMUtiWGRIUmsxc1ZqbERjV1prWlRJd2RHWllNRlpFVURGQ1RsQmxNV1ZCYTI5U05tVTBjbVJSTWpFNFp6Snpha2xtV21nMVpXSlZWVVZTYTNOcFRUbHJiMHMwWVZkR1VXRTVZWEpHVEZkTldrVnNaalpLTURNdlVGbzNNSE12U21Oc1IxVTVVVFp0WlVoamIwMURSbTFPZVdaQmJIbzFkbFpYTDNWRGEyVkljRTFKT0doaFowcEhjSGhCVTBKaWFEaFRXR3RJTVdGelMwdGthbE5hTjJSck9WRm5OSEJKY21GWEswOW9RemQ1VTFVd2NIbHZSamh0ZW1KR2VXOUpWRzV2ZDBGbWVFRmxObTFEWkVOSmFXVlhUV0p0SzNGS1NWaEhXVW92YWpoVU1qSXlaMlJNVVhWSWVtMWhNbmxWU0UxTFpERlZVMFpzWkhjclFsaE5ha0ZXUzNSTFJrbHZjMEpYUzNKeVFraFBNMjlZVjBscldHcENiV0pxY1ZoS2NtTTVTbkZEYmtrNVYycEhNR3QxY3poTFVHRlROazVrVEhKd1JqSlhTbFU0UzNSbE5VSTNTRXhWUWtsQllXMVhVbFpMTjFJM2RrNVdlWEpyYnpkWlYwRkNRbnBGTlV0MVUwMUhTRU5GV2tjMlZWVjRZbWhwZEhKUWNXcHFlV3hVSzFRd1dDdGxUblpQZWxGRGRtRnNSRE5sVWpCWU0yWXlhMUpGUlRWRVMyTnRWMkptYkhCNVdIcGFhbUpLVFZKeE53PT06S05zSngvMzNQNzdSc2VUTFFSMkFsdz09
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