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
Y0hWeFJUWnlWR3N5YUdWWUwyTnZjaTlOYlhWa1pEbGlZMFpqVVdreVpYWXJRako0YWtSd2VqaE1RV2QyUVVoUE16TldNbk52ZWtOcFZqQXZlV3hUWVVGYVpsQnJaSFppTjFVMGJFdFlNbTlIVDIxRk1VMTNLM0JZU21zMk4ybFBabko2YTNCa1MxcFpjMFJVVmpWUk5FcHhOblZMU25OcksyWmtlR2xETjJwcGRXeHRTek41UVZoRVdVRktURlpOTVhGMk9FWkZNalZvVEVKaU9EZE1iRTVFTlhsblMycHRXbHAwUVdjMlNqWjVTa0l6WmxKaE0ycFdObkV5U1M5UGQybzFMMDg0Vms0clJWSTVaM1V5WkRSaWMzVk1RbTFuZW1wWmFFMDNRVkZqUlZkcFQyNU9RelJ5VkVKb1lrYzBhRXRzWmpFMmVVVXZha1p0UkUxblJtTlZWVGhMYkRWNmJEWndTR3d2VFVwMWNsQndSVm8yVW5aeU1rZHJRbHA1UkNzNVQxaGFUVXh5UlRWV2RFWjFkR3MwWjB0T2FWbHpaR3RKUldFeE9IQjRRalEwY0ZNMlRETkRPVVZqUzJwaFVsSmpabVpyWjNwRVkyWkJUMWxPVjNoblFVTnVUVGcyV0U5b2NWRTJUekZWUmpONGFFRmhLMGR1WVRaaWRuZDJabGQyVTAxUFVHbDNRa3BFZEhGUVpXaGhPV3BzU25rMVdtcHNiblYxU0hwU056SlZVamwxYldoWlJEbHJlbEEwY2k5R1RXaEJPSEl6VFM5b1QzUlBaR0YzVmxKc2F6WkZjVmQ0VFV3cmNtZFFTMU5UUzNJNFNsWTBXbWxrZVdZNVNqRm9aRzF4SzFSc2MyRnhWa1Y0Tmk5VmFIZENZVWRsTjBreloyVmhWMUJHU25Ca1NrRTJZV2hYVDFoaFVGSnhUSEZDTTFCT2RXZE5jakJIUkhGeE5WRnRSRFo2ZURJMGIxQk9ja1JuU2xkT05UWkJlSGxpZEhoeVRYWk1iRmRLU0hBMlprWnBRV3hMWW1KeVpVbDFSMGx2Ymt3MFluUnVhRmR4V1ZkT0sxTlROME5YZUdSV01TdHdaMnhwZDA1V09XMVZla1kzVW5Gc01WSk5PSEJTV2xvd1dsQkdNalJXWTJaTFptUlZkbXd5U0dsRmRrb3dSa1pMWW5jeVJVTnJSbXRNTTJkWFQzQlRjMDFyYzFkUE9DOVRabEE1V0VnM1FYcEZaRVoyZUdSYU9IUkhRbXN6TkROMllXVlRUMWhpY25WSlVIWXJUVzB3YjJKWVJHOHJialZQVDBJNFNIRTRjMU52Y1VGMFNVaEZkMlJ1T0hGRVVXRnpha0ZFV1ZKR2QwbzFXSFpUYzFadU4yWnFjVlZTVDB0RGRXUmlVVDA5OmtZTUQ2QTloOXYwaHRPckFLZUVndFE9PQ==
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.
DETAILS
| 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