000 00604nam a2200193Ia 4500
919 _a040058
010 _a75-39372
020 _a0133290603
082 _a001.642
_bN724
100 _aCourant computer sciense symposium (2
_b1970
_bNew York)
245 _aFormal semantics of programming languages
_bCourant computer science symposium 2, Sept. 14-16, 1970
_ced by Randall Rustin
260 _aNew Jersey
_bPrentice-Hall
_c1972
300 _a248p.
490 _aPrentice-Hall Series in Automatic Computation
690 _aElectronic digital computer - Programming; Programming languages
700 _aRustin, Randall., ed.
999 _c38348
_d38348