(Record no. 1827)

MARC details
000 -LEADER
fixed length control field 01259cam a22003497a 4500
001 - CONTROL NUMBER
control field 14922291
003 - CONTROL NUMBER IDENTIFIER
control field IQ-KoUCL
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20121217111337.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 070710s2007 gw 000 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2007932679
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540741127
International Standard Book Number 9783540741121
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)ocn190764844
040 ## - CATALOGING SOURCE
Original cataloging agency SYB
Transcribing agency SYB
Modifying agency DLC
042 ## - AUTHENTICATION CODE
Authentication code lccopycat
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.L63
Item number B73 2007
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 515.1 Cut B811
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Bradley, Aaron R.
245 10 - TITLE STATEMENT
Title Calculus of computation :
Remainder of title decision procedures with applications to verification /
Statement of responsibility, etc Aaron R. Bradley, Zohar Manna..
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2007
300 ## - PHYSICAL DESCRIPTION
Extent xv, 366 p. :
Other physical details ill. ;
Dimensions 25 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p.[351]-355) and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer logic.
Topical term or geographic name as entry element Computer programs
General subdivision Verification.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Manna, Zohar.
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/toc/fy0803/2007932679.html">http://www.loc.gov/catdir/toc/fy0803/2007932679.html</a>
Materials specified Publisher description
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy0904/2007932679-d.html">http://www.loc.gov/catdir/enhancements/fy0904/2007932679-d.html</a>
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c copycat
d 3
e ncip
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
            Koya University Central Library Koya University Central Library Book Cart 17/12/2012   515.1 Cut B811 000815 17/12/2012 1 17/12/2012 Books
            Koya University Central Library Koya University Central Library Book Cart 18/12/2012   515.1 Cut B811 000811 18/12/2012 2 18/12/2012 Books