The construction of formal specifications : (Record no. 127894)

MARC details
000 -LEADER
fixed length control field 00947nam a22002417a 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230823165253.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230823b ||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0-07-707735-0
040 ## - CATALOGING SOURCE
Transcribing agency HNU
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Placement Code GC
Classification number 005.1 T85
Item number 1994
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Turner, John.
245 ## - TITLE STATEMENT
Title The construction of formal specifications :
Remainder of title an introduction to the model-based and algebraic approaches/
Statement of responsibility, etc. J.G. Turner and T.L. McCluskey.
264 ## - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture London
Name of producer, publisher, distributor, manufacturer McGraw-Hill Book Company
Date of production, publication, distribution, manufacture, or copyright notice 1994
300 ## - PHYSICAL DESCRIPTION
Extent xi, 420 pages :
Other physical details illustrations;
Dimensions 25 cm.
336 ## - CONTENT TYPE
Source text
Content type term rdacontent
337 ## - MEDIA TYPE
Source unmediated
Media type term rdamedia
338 ## - CARRIER TYPE
Source volume
Carrier type term rdacarrier
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc includes index.
521 ## - TARGET AUDIENCE NOTE
Target audience note College of Engineering and Computer Studies
Source Bachelor of Science in Civil Engineering
-- Bachelor of Science in Computer Engineering
-- Bachelor of Science in Computer Science
-- Bachelor of Science in Electronics Engineering
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name McCluskey, T.L.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Classification part 000-099
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Total Checkouts Full call number Barcode Date last seen Price effective from Non-public note Koha item type
    Dewey Decimal Classification     GC College Library College Library General Circulation Section 08/23/2023 Library Fund   GC 005.1 T85 63286 08/29/2024 08/23/2023 tubac Books