000 00582nam a22001457a 4500
008 230324b |||||||| |||| 00| 0 eng d
040 _aNational Science Library
_cNational Science Library
080 _aD 681.3.06(082.2)
_bL8
245 _aFormal description of programming concepts
_c/ Proceedings of the IFIP working conference on formal description of programming concepts St. Andrews, N. B. Canada, 1-5 August, 1977
260 _aOxford:
_bNorth-Holland Publishing Company,
_c1978
300 _axviii, 648p.
650 _aComputer
653 _aProgramming
942 _2udc
_cPR
999 _c14572
_d14572