000 00865 a2200277 4500
001 42256
020 _a0-444-70253-90
041 _aeng
080 _a681.3.06 IFI:86
245 _aFormal description of programming concepts - III : proceedings of the IFIP TC 2/WG 2.2 working conference on formal description of programming concepts, Ebberup Denmark, 25-28 Aug., 1986 / edited by Martin Wirsing
250 _a
260 _aAmsterdam
260 _bNorth-Holland,
260 _c1987
300 _axi,453 p.
300 _c22 cm
490 _a
100 _aIFIP TC 2
700 _aWG 2.2 working conference on formal description of programming concepts (1986 : Ebberup, Denmark)
700 _a
650 _a
650 _aFormal languages-semantics-Congresses
650 _aProgramming languages (Electronic computers)
942 _cBK
942 _2UDC
999 _c35176
_d35176