Value range analysis of C programs : Towards proving the absence of buffer overflow vulnerabilities (Record no. 31199)

MARC details
000 -LEADER
fixed length control field nam a22 7a 4500
005 - DATE & TIME
control field 20170502161639.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 170502b xxu||||| |||| 00| 0 eng d
020 ## - ISBN
International Standard Book Number 9788184895599
040 ## - CATALOGING SOURCE
Original cataloging agency UPES LIBRARY
Language of cataloging English
082 ## - DDC NUMBER
Classification number 005.133
Book Number SI
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Simon, Axel
245 ## - TITLE STATEMENT
Title Value range analysis of C programs : Towards proving the absence of buffer overflow vulnerabilities
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New Delhi :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2008
300 ## - PHYSICAL DESCRIPTION
Pages xxii, 300p.
650 ## - SUBJECT
Subject Programming language
650 ## - SUBJECT
Subject C programming
942 ## - Item Type
Koha item type Books Lending
100 ## - MAIN ENTRY--PERSONAL NAME
-- 51627
650 ## - SUBJECT
-- 51628
650 ## - SUBJECT
-- 10252
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Koha collection Location (home branch) Sublocation or collection (holding branch) Shelving location Date acquired Source of acquisition Cost, normal purchase price Koha issues (times borrowed) Koha full call number Barcode (Accession No.) Koha date last seen Cost, replacement price Price effective from Koha item type
    Dewey Decimal Classification   Reference Books (Not For Loan) Computer Science Central LIBRARY Central LIBRARY R2-1F REFERENCE SECTION 05/02/2017 Anurag Enterprises 499.00   005.133 SI DD43173 05/02/2017 998.00 04/02/2017 Reference Books
    Dewey Decimal Classification     Computer Science Central LIBRARY Central LIBRARY L4-GF Room No.1 03/28/2019 Anurag Enterprises 499.00   005.133 SI DD43174 05/02/2017 998.00 04/02/2017 Books Lending
    Dewey Decimal Classification     Computer Science Central LIBRARY Central LIBRARY L4-GF Room No.1 03/28/2019 Anurag Enterprises 499.00   005.133 SI DD43175 05/02/2017 998.00 04/02/2017 Books Lending
    Dewey Decimal Classification     Computer Science Central LIBRARY Central LIBRARY L4-GF Room No.1 03/28/2019 Anurag Enterprises 499.00   005.133 SI DD43176 05/02/2017 998.00 04/02/2017 Books Lending