adicionar à lista de desejos
Value-Range Analysis Of C Programs
Towards Proving The Absence Of Buffer Overflow Vulnerabilities
language: english
Publisher:
SPRINGER LONDON LTD, May of 2011 ‧
see product details
177,78€
10% OFF
CARD
WWt3MlFrUjJiblJ6UTNSR2NsSXlhM2xzU0RSbVoyTndjMk5sWTBkUk1IZDVjMVZCVlhVMk1UTnZTMGxwTlU4eWIyWmhVM2hUUmxsbFpXSldhRXBrVTNoMGVHZG9hbU5ZY25kYWIwc3ZhV2s1T1RaTU9DdHViVTF5WjJ4MFFrUnVkVWR0VWxOQk4wdzROelpwVlhFeFdtaDNhbUl5VkVWNGFEaHdhbUpUZURkRldFMXdlUzl5TTNkeFJrY3JVWEZaUmpRcloweElRM2hPY2xoWE4zVlZNMDQyUlhkWWFXcFdNWFpvTjJGMlJtWkRjMFZ0YlZsQlUyTkRURWt3WmxaaE9GTkNNM1JXVWxkVU5uWTNVemRJVHpoTGFrMUlaVXBwWkhnemEycFhkV2RNWVhsSmNVeFhRMlZNTDBkeFQzZFRNbE5xVFdNM1JWSXhja3RKVEdvNU1DOHlabmh0VVc1cFdscENWMjlqVWxnelVDOURkRmsyV25rMWJuaE1VbTlXUkdOdE4yOHJWekYwVjBKd1EwZ3pkRUZpTHpZelkydHpaMjQ0ZVRkbE9FZDBTbU5tVkhvclJFTXhiM0ZCZFRaalpWTm9ZWEpOS3pWb2NTOVRhR2gxYkZsc1l6a3hVVnBIVjB4MVYweEhZVVlyVW5oVGVrMUtUVWxRWTNZMGJGbzNkVnB2T1V4MllXUlFha3AxTlRaNUsyZEhMM2R4Umk4NFZ6RXZlQzlhZGpGaGNqbEVjVFJ5TWs1NVVrRjZiMjVKUTIxWVlreDNWRVpOUTFJNE9GZE9iMnM0SzBkdVVYUlVTbmMyUVcwNGFqRlZVMVF6UkRkc1ZHWndORVJJVDJ3cllUbGhTMWxYU0VKcGNVczJSRVkxVmxaeE1WaG9jMll5YkZOUGMyeG5LMDlhTW5WSVkwVjNla2xhZVcweVN6aHdSakZDTjFWMlNVbFRiMmRvUlhGVFV5OWlla2RUTDNOVE5VMWphbkVyZDFwcVFYQXJPV1ZIVXpsMU5HVndkV04yZUdaS05VWlJTVWt3V0RkTFpubExLekJZY25GSVpEWm5WbGhMYkVkMGRUTldXVTFaSzFscldVZElkVk5uUzJkcFpXazNaR1EyUWxKMVptdG5SaXRVV2xsS2FFMVZPWFpRVVhWRFdHUjRXWHBxYVZCTWNVODVVMEl6VjAxMGQwUnNSbTlTYldKNlF6Z3ZRVlpNYURKMmNVdHJjUzg1VmxsUlJEZ3dhalJGTTJ0NVVVMVhjSHA0VW5SUWNGZFlkbGxCTjFnelMyRkZSbWhtT1doemN6QTNiRk5rYjA0d1IyWmpVRm9yV1dvNFRuZFhiMGd6YW5keVZYZDFielJRTlZkTlNpOVFZak5QVnpWa1F6TjFZWGhuYldKeFJXdFBRVDA5OnR5MGdZaHk3RnhiMXY2TmFVQmNjTVE9PQ==
free shipping
Sell your book
SYNOPSIS
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9781849967020 |
| Publisher: | SPRINGER LONDON LTD |
| Release Date: | May of 2011 |
| Language: | English |
| Cover: | Softcover |
| Pages: | 302 |
| Format: | Book |
| Categories: |
Books in English
>
Computing
>
Schedule
|
| EAN: | 9781849967020 |
-
10%Internet Et Libertés : 15 Ans De Combat De La Quadrature Du NetVUIBERT21,09€ 10% CARDfree shipping
-
Value-Range Analysis Of C ProgramsSPRINGER LONDON LTD205,99€free shipping