Real time systems (Record no. 454338)

MARC details
000 -LEADER
fixed length control field 00698nam a2200217Ia 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20231121094622.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 231120s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780000000000
040 ## - CATALOGING SOURCE
Original cataloging agency LIS CUI Lahore
Transcribing agency AACR-II/RDA
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.33 -R
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Oldwerog, Ernst-Rudiger
245 #0 - TITLE STATEMENT
Title Real time systems
Remainder of title formal specification and automatic verification
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. USA
Name of publisher, distributor, etc. Cambridge University Press
264 ## - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice 0
300 ## - PHYSICAL DESCRIPTION
Extent Hard Binding
Other physical details xiv 320
365 ## - TRADE PRICE
Price amount 8724
Currency code Rs.
546 ## - LANGUAGE NOTE
Language note English
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
General subdivision Real time systems, Oldwerog, Ernst-Rudiger, Dierks, Henning, Computer Science
852 ## - LOCATION
Accession No. LHR 33887
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type
Classification part 1
Holdings
Withdrawn status Lost status 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 Price effective from Koha item type
        COMSATS University Lahore Campus COMSATS University Lahore Campus 11/21/2023 8724.00   004.33 -R LHR 33887 11/21/2023 1 11/21/2023 Books