Theory of program structures (Record no. 235195)

MARC details
000 -LEADER
fixed length control field 01071nam a2200337 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250914082541.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 981208s1975 gw/ 00 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 75-31780
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387074155
035 ## - SYSTEM CONTROL NUMBER
System control number 424634
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
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) QA76.6.G743 1975[00008033328]
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.6
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Greibach, Sheila, 1939-
245 10 - TITLE STATEMENT
Title Theory of program structures
Remainder of title schemes, semantics, verification
Statement of responsibility, etc. Sheila A. Greibach
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin
Name of publisher, distributor, etc. Springer-Verlag
Date of publication, distribution, etc. 1975
300 ## - PHYSICAL DESCRIPTION
Extent 389 p. : ill. ; 25 cm.
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Lecture notes in computer science
Volume/sequential designation 36
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliography and index.
590 ## - LOCAL NOTE (RLIN)
Local note 1
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronic digital computers
General subdivision Programming
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Recursive programming
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer programs
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b12338746
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.6.G743 1975[00008033328]
914 ## - VTLS Number
VTLS Number vtls000241224
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
-- .b12338746
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 .i1553280x   QA76.6.G743 1975[00008033328] 00000272623 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