Mathematical foundations of programming semantics : (Record no. 143448)

MARC details
000 -LEADER
fixed length control field 01247nam a2200301 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250914012618.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 981208s1990 gw/a b 000 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540973753
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 201804110933
Level of effort used to assign nonsubject heading access points lan
y 08-18-1999
z load
040 ## - CATALOGING SOURCE
Modifying agency UKM
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.7.M38[00008033444]
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.7
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) .M38
245 10 - TITLE STATEMENT
Title Mathematical foundations of programming semantics :
Remainder of title 5th International Conference, Tulane University, New Orleans, Louisiana U.S.A. March 29 - April 1, 1989 :
-- proceedings
Statement of responsibility, etc. M. Main ...(et al.), eds.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin :
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. 1990.
300 ## - PHYSICAL DESCRIPTION
Extent 439 p. :
Other physical details ill. ;
Dimensions 25 cm.
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Lecture notes in computer science
Volume/sequential designation v. 442.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming languages (Electronic computers)
General subdivision Semantics
-- Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science
General subdivision Mathematics
-- Congresses.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Main, Michael, 1956.
711 2# - ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element International Conference on the Mathematical Foundation of Programming Semantics (5th : 1989 : Tulane University).
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b11417663
b 2021-05-28
c 2019-11-12
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type AM
Suppress in OPAC No
Call number prefix QA76.7.M38[00008033444]
914 ## - VTLS Number
VTLS Number vtls000147026
990 ## - EQUIVALENCES OR CROSS-REFERENCES [LOCAL, CANADA]
Link information for 9XX fields HY
991 ## - LOCAL NOTE (NAMA FAKULTI/INSTITUT/PUSAT)
a Fak Sains Matematik
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Library PERPUSTAKAAN TUN SERI LANANG
Operator's initials, OID (RLIN) 1999-05-08
Cataloger's initials, CIN (RLIN) m
Material Type (Sierra) Printed Books
Language English
Country
-- 0
-- .b11417663
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Inventory number Total checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
        PERPUSTAKAAN TUN SERI LANANG PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) 12/11/2019 - 0.00 .i13534622   QA76.7.M38[00008033444] 00000176285 13/09/2025 1 13/09/2025 AM

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library