FEEDBACK Smiley face

The calculus of computation : (Record no. 117455)

000 -LEADER
fixed length control field 00792nam a22002537a 4500
003 - CONTROL NUMBER IDENTIFIER
control field IIITD
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200109170807.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 200106b xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788184893960
040 ## - CATALOGING SOURCE
Original cataloging agency IIITD
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.015
Item number BRA-C
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Bradley, Aaron R.
245 ## - TITLE STATEMENT
Title The calculus of computation :
Remainder of title decision procedures with applications to verification
Statement of responsibility, etc by Aaron R. Bradley and Zohar Manna
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc Springer,
Place of publication, distribution, etc New York :
Date of publication, distribution, etc ©2007
300 ## - PHYSICAL DESCRIPTION
Extent xv, 366 p. :
Other physical details ill. ;
Dimensions 22cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliography and index
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science and engineering
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer logic
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programs verification
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic design
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algorithms
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Manna, Zohar
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 Permanent Location Current Location Shelving location Date acquired Cost, normal purchase price Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type Bill No. Bill Date PO No. PO Date Vendor/Supplier
          Computer Science and Engineering IIITD IIITD General Stacks 2020-01-06 470 004.015 BRA-C 009976 2020-01-06 £49.99 2020-01-06 Reference IN-3345 2019-12-30 IIITD/LIC/BS/2019/AMZ/23 2019-12-30 Amazon.in

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in