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 |