Calculus of Computation:decision procedures with applications to verification (Record no. 2483)

MARC details
000 -LEADER
fixed length control field 00516nam a2200181Ia 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788184893960
Terms of availability 0.00
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151
Item number BRA/C
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title English
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Bradley,Aaron R.
245 ## - TITLE STATEMENT
Title Calculus of Computation:decision procedures with applications to verification
Statement of responsibility, etc Aaron R.Bradley and Zohar Manna
Medium [Text]
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New Delhi
Name of publisher, distributor, etc Springer
Date of publication, distribution, etc 2010
300 ## - PHYSICAL DESCRIPTION
Extent 366p; 24cm.
500 ## - GENERAL NOTE
General note index included
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Calculus.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computation
658 ## - INDEX TERM--CURRICULUM OBJECTIVE
Main curriculum objective CS
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Zohar,Manna
Holdings
Withdrawn status Lost status Damaged status Not for loan invoice order date Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type Public note
      Not For Loan 22109 20110325 CENTRAL LIBRARY CENTRAL LIBRARY Reserve Book Section 06/02/2011 Useful Book Service 599.00   004.0151 BRA/C 045290 11/26/2015   11/26/2015 RESERVE BOOKS 045290