Formal semantics of programming languages : (Record no. 27188)

000 -LEADER
fixed length control field 00598nam a2200205 a 4500
001 - CONTROL NUMBER
control field 27188
003 - CONTROL NUMBER IDENTIFIER
control field BD-DhUET
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 920917s1993 maua b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0262231697
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency BD-DhUET
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.7
Item number .W555 1993
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.13
Item number WIN/1993
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Winskel, Glynn
245 14 - TITLE STATEMENT
Title Formal semantics of programming languages :
Remainder of title an introduction
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Cambridge
Name of publisher, distributor, etc. MIT Press
Date of publication, distribution, etc. 1993
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 361p.
Other physical details ill.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographies
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programming language ( Electronics computers) semantics
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type General Book
Holdings
Copy number Piece designation (barcode) Date acquired Koha item type Damaged status Price effective from Source of classification or shelving scheme Not for loan Withdrawn status Koha full call number Koha normalized classification for sorting Lost status Shelving location Koha date last seen Sublocation or collection (holding branch) Location (home branch)
1955282015-06-06General Book 2015-06-06   005.131/WIN/1993005_131000000000000_WIN_1993 Reading section2015-06-06Central Library, BUETCentral Library, BUET