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

Algebraic approaches to program semantics (Record no. 275029)

000 -LEADER
fixed length control field 00618pam a2200205a 44500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408b1986 xxu||||| |||| 00| 0 eng d
040 ## - CATALOGING SOURCE
Transcribing agency IIT Kanpur
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.6424
Item number M313a
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Manes, Ernest G.
245 1# - TITLE STATEMENT
Title Algebraic approaches to program semantics
Statement of responsibility, etc Ernest G. Manes and Michael A. Arbib
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication New York
Name of publisher Springer-Verlag
Year of publication 1986
300 ## - PHYSICAL DESCRIPTION
Number of Pages xiii, 351p
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Texts And Monographs In Computer Science
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Programming Languages (Electronic Computers) -- Semantics
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Algebra
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Arbib, Michael A.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Full call number Accession Number Koha item type
        General Stacks PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2007-08-12 001.6424 M313a A96499 Books

Powered by Koha