000 00567pam a2200169a 44500
008 160408b1981 xxu||||| |||| 00| 0 eng d
082 _a001.6424
_bP14f
100 _aPagan, Frank G.
245 1 _aFORMAL SPECIFICATION OF PROGRAMMING LANGUAGES
_cA PANORAMIC PRIMER
260 _aEnglewood Cliffs
_bPrentice-Hall
_c1981
300 _ax,245
500 _aBibliography : P. 235-239
650 _aProgramming Languages (Electronic Computers) -- Syntax
650 _aProgramming Languages (Electronic Computers) -- Semantics
964 _gCIRC
997 _aA78408 C
999 _c301245
_d301245