Normal view MARC view ISBD view

Applications of formal methods (Record no. 3210)

MARC details
000 -LEADER
fixed length control field	00514nam a22001817a 4500
003 - CONTROL NUMBER IDENTIFIER
control field	OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20261006105524.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	261006b \|\|\|\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9780133669497
040 ## - CATALOGING SOURCE
Transcribing agency	DLC
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number	QA76.9.S88
Item number	.A68 1996
245 ## - TITLE STATEMENT
Title	Applications of formal methods
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc.	Prentice Hall International (Uk) Ltd. :
Date of publication, distribution, etc.	1996.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Computer software
General subdivision	Development
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name	Bowen, Jonathan P.
Relator term	editor
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name	Hinchey, Michael G.
Relator term	editor
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme	Library of Congress Classification
Koha item type	Books
Suppress in OPAC	No

Holdings
Date last seen	Total checkouts	Full call number	Barcode	Price effective from	Koha item type	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Collection	Withdrawn status	Home library	Current library	Shelving location	Date acquired	Cost, normal purchase price
06/10/2026		QA76.9.S88.A68 1996	1003130	06/10/2026	Books		Library of Congress Classification			Open Collection		Dato Maznah Library & Information Services	Dato Maznah Library & Information Services	QA Mathematics	06/10/2026	55.45