The formal semantics of programming languages (Record no. 18171)

000 -LEADER
fixed length control field 00413nam a2200169 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160616s1993 000 0
245 ## - TITLE STATEMENT
Title The formal semantics of programming languages
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Winskel, Glynn
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication USA
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher MIT Press
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Year of publication 1993
300 ## - PHYSICAL DESCRIPTION
Number of Pages 361
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Foundations of computing
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 0 262 73103 7
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type BOOKS
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 681.3 WIN
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Full call number Accession Number Koha item type
        IMSc Library IMSc Library Second floor, Rack No: 49, Shelf No: 23 681.3 WIN 49437 BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha