机读格式显示(MARC)

• 000 00772pam 2200265 4500

• 001 0000351624

• 003 CAL

• 005 20030411122500.0

• 008 030411s1985 a b 000

• 020 __ |a 0521267935

• 035 __ |a 00023254

• 040 __ |a 548 |c JHUL

• 050 00 |a QA76.7

• 082 00 |a 001.64/24

• 090 __ |a TP312/A394A

• 093 __ |a TP312

• 245 01 |a Algebraic methods in semantics |c edited by Maurice Nivat, John C. Reynolds.

• 260 __ |a Cambridge [Cambridgeshire] |a New York |b Cambridge University Press |c 1985.

• 300 __ |a xv, 634 p. |b ill. |c 23 cm.

• 650 _0 |a Programming languages (Electronic computers)

• 650 _0 |a Algebra

• 650 _0 |a Categories (Mathematics)

• 700 1_ |a Nivat, M.

• 700 1_ |a Reynolds, John C. |d 1935-

• 950 __ |a JHUL |b TP312 |c A394A