Normal view MARC view ISBD view

Modern formal methods and appilcations / (Record no. 31002)

MARC details
000 -LEADER
fixed length control field	00797nam a2200217 a 4500
001 - CONTROL NUMBER
control field	vtls000015933
003 - CONTROL NUMBER IDENTIFIER
control field	KUKTEM
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20251117144159.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	061002 000 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	1402042221
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description	201107131843
Level of effort used to assign nonsubject heading access points	VLOAD
Level of effort used to assign subject headings	200908141236
Level of effort used to assign classification	VLOAD
Level of effort used to assign subject headings	200908141209
Level of effort used to assign classification	VLOAD
Level of effort used to assign subject headings	200908131637
Level of effort used to assign classification	VLOAD
--	200610021425
--	kam
040 ## - CATALOGING SOURCE
Original cataloging agency	UMP
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR)	QA76.9.F67 M63 2006
245 00 - TITLE STATEMENT
Title	Modern formal methods and appilcations /
Statement of responsibility, etc.	edited by Hossam A. Gabbar
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Dordrecht :
Name of publisher, distributor, etc.	Springer,
Date of publication, distribution, etc.	2006
300 ## - PHYSICAL DESCRIPTION
Extent	197 p. :
Other physical details	ill. ;
Dimensions	25 cm.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Formal methods (Computer science)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Formal methods (Computer science)
General subdivision	Industrial applications
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Gabbar, Hossam A.

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Home library	Current library	Date acquired	Cost, normal purchase price	Total checkouts	Full call number	Barcode	Date last seen	Copy number	Cost, replacement price	Price effective from	Koha item type
	Not lost	Library of Congress Classification			UMPLIB GAMBANG	UMPLIB GAMBANG	04/09/2019	579.78		QA 76.9 .F67 M63 2006 \| QA76.9.F67 M63 2006	0000017585	04/09/2019	1	579.78	04/09/2019	Open Shelf