Normal view MARC view ISBD view

A programming approach to formal methods / (Record no. 1144)

MARC details
000 -LEADER
fixed length control field	00893nam a2200265 a 4500
001 - CONTROL NUMBER
control field	vtls000001397
003 - CONTROL NUMBER IDENTIFIER
control field	MY-PjKIC
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20210815145436.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	100211t1994 000 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	007707968X
035 ## - SYSTEM CONTROL NUMBER
System control number	007707968X
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description	201110071432
Level of effort used to assign nonsubject heading access points	norliday
Level of effort used to assign subject headings	201002111734
Level of effort used to assign classification	VLOAD
Level of effort used to assign subject headings	201002111609
Level of effort used to assign classification	VLOAD
040 ## - CATALOGING SOURCE
Transcribing agency	FCUC
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	005.131 CAS 1994
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR)	005.131 CAS 1994
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Casey, Chris.
245 12 - TITLE STATEMENT
Title	A programming approach to formal methods /
Statement of responsibility, etc.	Chris Casey.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	London ;
--	New York :
Name of publisher, distributor, etc.	McGraw-Hill,
Date of publication, distribution, etc.	c1994.
300 ## - PHYSICAL DESCRIPTION
Extent	xii, 262 p. :
Other physical details	ill. ;
Dimensions	25 cm.
440 #4 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title	The McGraw-Hill international series in software engineering.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note	Includes bibliographical references (p. 257) and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Electronic digital computers
General subdivision	Programming.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme	Dewey Decimal Classification
Koha item type	Open Collection

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Collection code	Home library	Current library	Shelving location	Cost, normal purchase price	Total Checkouts	Full call number	Barcode	Date last seen	Koha item type
				Open Collection	FIRST CITY UNIVERSITY COLLEGE	FIRST CITY UNIVERSITY COLLEGE	FCUC Library	127.00		005.131 CAS	00009779	03/02/2023	Open Collection