ITU Library knowledge & Centre

Your cart is empty.
itu-size-reduice

Introduction to static analysis (Record no. 122330)

000 -LEADER
fixed length control field 01024cam a2200253 i 4500
001 - CONTROL NUMBER
control field 20872484
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220812113828.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 190301s2020 mau b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780262043410
040 ## - CATALOGING SOURCE
Transcribing agency ITU
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 620.103 R616I 2020
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Rival, Xavier,
Relator term author.
245 10 - TITLE STATEMENT
Title Introduction to static analysis
Remainder of title an abstract interpretation perspective /
Statement of responsibility, etc Xavier Rival and Kwangkeun Yi.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Cambridge, MA :
Name of publisher, distributor, etc The Mit Press,
Date of publication, distribution, etc 2020.
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 299 pages ;
Dimensions 24 cm
500 ## - GENERAL NOTE
General note NBL010822
520 ## - SUMMARY, ETC.
Summary, etc "The book introduces static analysis. It covers both the basic theoretical foundations and the basic practical consideration underlying the design, implementation, and the use of static analysis tools. It is hard to find good references that could provide a quick and comprehensive introduction for non-experts.
546 ## - LANGUAGE NOTE
Language note eng
563 ## - BINDING INFORMATION
Binding note hbk
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Statics.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Yi, Kwangkeun,
Relator term author.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Source of acquisition Cost, normal purchase price Full call number Barcode Cost, replacement price Price effective from Koha item type
        Information Technology University, Lahore Information Technology University, Lahore General Stacks 2022-08-12 Allied book company 12756.75 620.103 R616I 2020 008856 38270.25 2022-08-12 Books
اردو کى بورڈ