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

MARC details
000 -LEADER
fixed length control field 01114pam a2200265 a 4500
001 - CONTROL NUMBER
control field 4347209
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230313140510.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 891122s1990 enka b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 052137202
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0330261401
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.H85
Item number F67 1990
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. (IMPRINT)
Place of publication, distribution, etc Cambridge ;
-- New York :
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.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Cambridge series on human-computer interaction ;
Volume number/sequential designation 2
9 (RLIN) 1207
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. [297]-316) and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Human-computer interaction.
9 (RLIN) 40
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
9 (RLIN) 1208
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Harrison, M. D.
Fuller form of name (Michael D.)
9 (RLIN) 1209
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Thimbleby, Harold.
9 (RLIN) 1210
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy0907/89070873-d.html">http://www.loc.gov/catdir/enhancements/fy0907/89070873-d.html</a>
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents only
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy0907/89070873-t.html">http://www.loc.gov/catdir/enhancements/fy0907/89070873-t.html</a>
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e opcn
f 19
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Library of Congress Classification
Item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Library of Congress Classification     Informatics and Virtual Education Library Collection Informatics and Virtual Education Library Collection General Collection 02/06/2015 Donation   QA76.9.H85 F67 1990 1980 02/06/2015 02/06/2015 Books
© The University of Dodoma 2020