Formal methods in human-computer interaction / (Record no. 468763)

MARC details
000 -LEADER
fixed length control field 01235nam a2200337 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250918122553.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 101022s1990 xxka 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521448673
Terms of availability RM135.18
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521372022 (hbk.)
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 201011111247
Level of effort used to assign nonsubject heading access points fati
y 10-22-2010
z rahah
040 ## - CATALOGING SOURCE
Original cataloging agency UKM
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.9.H85F677
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.9.H85
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) F677
245 00 - TITLE STATEMENT
Title Formal methods in human-computer interaction /
Statement of responsibility, etc. edited by Michael Harrison and Harold Thimbleby
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge :
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 1990
300 ## - PHYSICAL DESCRIPTION
Extent xvii, 323 p. :
Other physical details ill. ;
Dimensions 25 cm.
490 1# - SERIES STATEMENT
Series statement Cambridge series on human-computer interaction ;
Volume/sequential designation 2
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (p. [297]-316) and index
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Human-computer interaction
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal methods (Computer science)
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Harrison, M. D.
Fuller form of name (Michael D.)
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Thimbleby, Harold
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Cambridge series on human-computer interaction ;
Volume/sequential designation 2
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b14820456
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.9.H85F677
914 ## - VTLS Number
VTLS Number vtls003443351
990 ## - EQUIVALENCES OR CROSS-REFERENCES [LOCAL, CANADA]
Link information for 9XX fields fka
991 ## - LOCAL NOTE (NAMA FAKULTI/INSTITUT/PUSAT)
a Fakulti Teknologi & Sains Maklumat
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Library PERPUSTAKAAN TUN SERI LANANG
Operator's initials, OID (RLIN) 2010-09-10
Cataloger's initials, CIN (RLIN) m
Material Type (Sierra) Printed Books
Language English
Country
-- 0
-- .b14820456
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 KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) 12/11/2019 - 135.18 .i19503258 1 QA76.9.H85F677 00002018852 18/09/2025 1 18/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