Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

FORMAL SEMANTICS OF PROGRAMMING LANGUAGES (Record no. 461139)

000 -LEADER
fixed length control field 00471 a2200157 4500
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.642
Item number C833
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Rustin, Randall
245 1# - TITLE STATEMENT
Title FORMAL SEMANTICS OF PROGRAMMING LANGUAGES
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Englewood Cliffs, N. J.
Name of publisher, distributor, etc. Prentice-Hall
Date of publication, distribution, etc. 1972
300 ## - PHYSICAL DESCRIPTION
Extent 248
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Prentice-Hall Series In Automatic Computation
Volume/sequential designation
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming Languages (Electronic Computers) -- Congresses
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Semantics
964 ## -
-- CIRC
997 ## -
-- A33452 C
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
        COMPACT STORAGE (BASEMENT) PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2007-08-12 001.642 C833 A33452 2016-07-08 Book Request 2016-07-08 Books

Powered by Koha