Formal semantics of Programming languages / Edited by Randall Rustin.

Saved in:
Bibliographic Details
Corporate Author: Courant Computer Science Symposium New York, N.Y.
Other Authors: Rustin, Randall (Editor)
Format: Conference Proceeding Book
Language:English
Published: Englewood, Cliffs, N.J. : Prentice-Hall, [1972]
Series:Prentice-Hall series in automatic computation.
Subjects:

MARC

LEADER 00000cam a2200000 4500
001 b1030401
003 CoU
005 20210909124434.0
008 720428s1972 njua b 100 0 eng
010 |a 75039372 
019 |a 977120038  |a 1171203847  |a 1171562219 
020 |a 0133290603 
020 |a 9780133290608 
035 |a (OCoLC)ocm00315185 
035 |a (OCoLC)315185  |z (OCoLC)977120038  |z (OCoLC)1171203847  |z (OCoLC)1171562219 
040 |a DLC  |b eng  |c DLC  |d OCL  |d OCLCQ  |d MUQ  |d BTCTA  |d YDXCP  |d OCLCO  |d OCLCF  |d P4I  |d OCLCQ  |d OCLCO  |d OCL  |d OCLCO  |d OCLCA  |d NAG  |d IL4J6  |d OCLCO 
049 |a CODI 
050 0 0 |a QA76.7  |b .C68 1970 
111 2 |a Courant Computer Science Symposium  |n (2nd :  |d 1970 :  |c New York, N.Y.) 
245 1 0 |a Formal semantics of Programming languages /  |c Edited by Randall Rustin. 
260 |a Englewood, Cliffs, N.J. :  |b Prentice-Hall,  |c [1972] 
300 |a 248 pages :  |b illustrations ;  |c 24 cm. 
336 |a text  |b txt  |2 rdacontent. 
337 |a unmediated  |b n  |2 rdamedia. 
338 |a volume  |b nc  |2 rdacarrier. 
490 1 |a Prentice-Hall series in automatic computation. 
504 |a Includes bibliographical references. 
590 |a @ Eng [c.1] 
583 1 |a committed to retain  |c 20160101  |d 20410101  |5 CoU  |f Alliance Shared Trust  |u https://www.coalliance.org/shared-print-archiving-policies. 
650 0 |a Programming languages (Electronic computers)  |x Semantics  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2010108609. 
650 7 |a Programming languages (Electronic computers)  |x Semantics.  |2 fast  |0 (OCoLC)fst01078716. 
650 7 |a Computer science  |v Congresses.  |2 nli. 
650 7 |a Programming languages (Electronic computers)  |x Semantics  |v Congresses.  |2 nli. 
655 7 |a Conference papers and proceedings.  |2 fast  |0 (OCoLC)fst01423772. 
700 1 |a Rustin, Randall,  |e editor.  |0 http://id.loc.gov/authorities/names/n50031759  |1 http://isni.org/isni/000000011738124X. 
776 0 8 |i Online version:  |a Courant Computer Science Symposium (2nd : 1970 : New York, N.Y.).  |t Formal semantics of Programming languages.  |d Englewood, Cliffs, N.J., Prentice-Hall [1972]  |w (OCoLC)563965650. 
830 0 |a Prentice-Hall series in automatic computation.  |0 http://id.loc.gov/authorities/names/n83826711. 
907 |a .b10304010  |b 10-05-21  |c 11-09-94 
998 |a pas  |b 03-21-95  |c -  |d m   |e -  |f eng  |g nju  |h 0  |i 1 
907 |a .b10304010  |b 09-09-21  |c 11-09-94 
944 |a MARS - RDA ENRICHED 
948 |a bslw21/22 : sep : dls 
907 |a .b10304010  |b 10-23-18  |c 11-09-94 
907 |a .b10304010  |b 12-22-08  |c 11-09-94 
907 |a .b10304010  |b 03-24-08  |c 11-09-94 
948 |a ctr03/04 : apr : mw : mph to eng transfer project 
999 f f |i 33addb1f-43d4-5b36-bc40-f2700a2a2f32  |s cdacd8cc-ad76-5364-96c5-ff45924e67db 
952 f f |p Can circulate  |a University of Colorado Boulder  |b Boulder Campus  |c Offsite  |d PASCAL Offsite  |e QA76.7 .C68 1970  |h Library of Congress classification  |i book  |m P103142712016  |n 1