000 00842 a2200265 4500
001 149267
020 _a0-444-85107-02
041 _aeng
080 _a681.3.06 IFI:77
245 _aFormal description of programming concepts : proceedings of the IFIP working conference on formal description of programming concepts, St. Andrews, N.B., Canada, Aug. 1-5, 1977 / edited by Erich J. Neuhold
250 _a
260 _aAmsterdam
260 _bNorth-Holland,
260 _c1978
300 _axviii,648 p.
300 _c22 cm
490 _a
100 _aIFIP working conference on formal description of programming concepts (1977 : St. Andrews, N.B., Canada)
700 _a
650 _a
650 _aFormal languages-semantics-Congresses
650 _aProgramming languages (Electronic computers)
942 _cBK
942 _2UDC
999 _c120719
_d120719