MARC 닫기

• LDR

  00716nam a2200193 u 4500

• 001

  000000409487

• 005

  20120927183537

• 008

  970131s1985 us 000 eng

• 020

  ▼a  0135614651

• 049

  ▼a  KMAL
  ▼l  AZ0000166040

• 082

  ▼a  005.131

• 090

  ▼a  005.131
  ▼b  H65m

• 245

  ▼a  Mathematical logic and programming languages/
  ▼d  edited by C. A.R. Hoare and J. C. Shepherdson.

• 260

  ▼a  Englewood Cliffs:
  ▼b  Prentice/Hall International,
  ▼c  1985.

• 300

  ▼a  184p.;
  ▼c  25cm.

• 440

  ▼a  Prentice Hall International series in computer science

• 653

  ▼a  MATHEMATICAL
  ▼a  LOGIC
  ▼a  AND
  ▼a  PROGRAMMING
  ▼a  LANGUAGES
  ▼a  PRENTICE
  ▼a  HALL
  ▼a  INTERNATIONAL
  ▼a  SERIES
  ▼a  IN
  ▼a  COMPUTER
  ▼a  SCIENCE

• 700

  ▼a  Hoare,C.A.R,

• 700

  ▼a  Shepherdson,J. C,

• 991

  ▼a  단행본

• 090

  ▼a  005.131
  ▼b  H65m