Normal view MARC view ISBD view

Symbolic Execution Of Software (Record no. 72723)

MARC details
000 -LEADER
fixed length control field	00668nam a2200253Ia 4500
003 - CONTROL NUMBER IDENTIFIER
control field	AVIT
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20211120082152.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	020502s1995 \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\| \|\|und\|d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Printed Price	INR 282.00
100 ## - FIRST AUTHOR (IF A PERSON)
Name of author	Coward, David
115.187.37.79	Author
245 #0 - TITLE STATEMENT
Title	Symbolic Execution Of Software
Sub-title	Sym Bol System
Statement of responsibility	Coward, David; Darrel Ince
250 ## - EDITION STATEMENT
Edition statement	1ST ED
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher	CHAPMAN & HALL
Date of publication, distribution, etc.	1995
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Subject heading	Computer Science
700 ## - ADDITIONAL AUTHOR (INDIVIDUAL)
Author name	Darrel Ince
Relator term	Author
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type	Books
653 ## - INDEX TERM--UNCONTROLLED
--	coward, david
653 ## - INDEX TERM--UNCONTROLLED
--	darrel ince
653 ## - INDEX TERM--UNCONTROLLED
--	Others
653 ## - INDEX TERM--UNCONTROLLED
--	symbolic

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan (e.g. reference copy)	Home library	Current library	Date acquired	Source of acquisition	Purchase price (after disc. etc)	Total Checkouts	Accession No	Date last seen	Price effective from	Koha item type
					AVIT Central Library	AVIT Central Library	02/05/2002	Book Field	282.00		7752	20/11/2021	20/11/2021	Books