Normal view MARC view ISBD view

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

000 -LEADER
fixed length control field	00553nam a2200169Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	180620b2010 xxu\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9788184893960
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	515.22 BRA
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
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Berlin
Name of publisher, distributor, etc.	Springer Verlag, Netherlands
Date of publication, distribution, etc.	2010
300 ## - PHYSICAL DESCRIPTION
Extent	xv, 366p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Computer programs - Verification
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Computer logic
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name	Manna, Zohar
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a	af73524bac10491900581c1f313ffd80

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Collection code	Home library	Current library	Shelving location	Date acquired	Source of acquisition	Cost, normal purchase price	Serial Enumeration / chronology	Total Checkouts	Full call number	Barcode	Date last seen	Price effective from	Koha item type
				TEXTBOOK SECTION	LRC_JUIT	LRC_JUIT	Mathematics	21/09/2010	Krishna Book Distributors	431.28	Copy 1		515.22 BRA	024961	21/05/2019	21/05/2019	TEXT BOOK