Formal Specification: Techniques And Applications (Record no. 239030)

MARC details
000 -LEADER
fixed length control field 00489nam a2200205 a 4500
001 - CONTROL NUMBER
control field CS96000001
003 - CONTROL NUMBER IDENTIFIER
control field imported from koha2.9 by LV-627
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220518153840.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 960221s1955 dcuabcdjdbkoqu001 0deng d
040 ## - CATALOGING SOURCE
-- S
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1-85233-002-3
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.415.52
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Nimal Nissanke
245 ## - TITLE STATEMENT
Title Formal Specification: Techniques And Applications
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc.
Name of publisher, distributor, etc. Springer-Verlag
Date of publication, distribution, etc. 1999
250 ## - EDITION STATEMENT
Edition statement
300 ## - PHYSICAL DESCRIPTION
Extent 295
500 ## - GENERAL NOTE
General note
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books

No items available.

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India