000 00485 a2200157 4500
082 _a001.642
_bIn8f
100 _aNeuhold, Erich J.
245 1 _aFORMAL DESCRIPTION OF PROGRAMMING
_cPROCEEDINGS
260 _aAmsterdam
_bNorth-Holland
_c1978
300 _axviii,648
500 _aOrganised By Ifip Technical Committee 2, Programming
650 _aProgramming (Electronic Computers)
650 _aElectronic Digital Computers -- Programming
964 _gCIRC
997 _aA72999 C
999 _c464500
_d464500