|
|
|
|
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
|