Program logics for certified compilers (Record no. 81897)

MARC details
000 -LEADER
fixed length control field 00704 a2200229 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20151216123907.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 151205b xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781107048010
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 004.42
Item number APP
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Appel, Andrew W...[et.al]
245 ## - TITLE STATEMENT
Title Program logics for certified compilers
Statement of responsibility, etc Andrew Appel W....[et.al]
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Date of publication, distribution, etc 2014
Name of publisher, distributor, etc Cambridge University Press
Place of publication, distribution, etc New York
300 ## - PHYSICAL DESCRIPTION
Extent x, 458p.
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Logic symbolic and mathematical
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Compilers (Computer programs)
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer software - Verification
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term CompCert verified C compiler
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Dock, Robert
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Hobor, Aquinas
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Beringer, Lennart
942 ## - ADDED ENTRY ELEMENTS (KOHA)
item type Books
Holdings
Lost status Source of classification or shelving scheme Not for loan Home library Current library Date acquired Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
  Universal Decimal Classification   University Library University Library 16/02/2015 0.00   004.42 APP 00073190 04/03/2015 0.00 16/02/2015 Books
University Library, CUSAT