Logic of programming and calculi of discrete design / (Record no. 134823)

MARC details
000 -LEADER
fixed length control field 01070nam a2200313 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250914011308.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 981208s1986 gw 00 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387180036
035 ## - SYSTEM CONTROL NUMBER
System control number 594293
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 201708080913
Level of effort used to assign nonsubject heading access points adibah
Level of effort used to assign subject headings 200107111805
Level of effort used to assign classification rahimi
y 08-18-1999
z load
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA267.3.N38 1986[00008035393]
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA267.33540180036
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA267.3
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) .N38 1986
245 10 - TITLE STATEMENT
Title Logic of programming and calculi of discrete design /
Statement of responsibility, etc. edited by Manfred Broy.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin :
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. 1986.
300 ## - PHYSICAL DESCRIPTION
Extent 413 p. ;
Dimensions 25 cm.
590 ## - LOCAL NOTE (RLIN)
Local note 1
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronic digital computers
General subdivision Programming.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronic digital computers
General subdivision Programming
Form subdivision Addresses, essays, lectures.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Broy, Manfred,
Dates associated with a name 1949-.
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b11331094
b 2021-05-28
c 2019-11-12
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type AM
Suppress in OPAC No
Call number prefix QA267.3.N38 1986[00008035393]
914 ## - VTLS Number
VTLS Number vtls000138100
990 ## - EQUIVALENCES OR CROSS-REFERENCES [LOCAL, CANADA]
Link information for 9XX fields sbs
991 ## - LOCAL NOTE (NAMA FAKULTI/INSTITUT/PUSAT)
a Fakulti 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
-- .b11331094
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 .i13339096   QA267.3.N38 1986[00008035393] 00000273388 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