MARC 닫기

• LDR

  00744nam a2200205 u 4500

• 001

  000000307802

• 005

  20120927083053

• 008

  970203s1990 us 000 eng

• 020

  ▼a  0201416611:
  ▼c  $25.75

• 049

  ▼a  KMAL
  ▼l  AZ0000166054

• 082

  ▼a  005.1

• 090

  ▼a  005.1
  ▼b  L34p

• 245

  ▼a  The Programming process:
  ▼b  an introduction using VDM and Pasc/
  ▼d  John T. Latham,Vicky J. Bush, Ian D. Cottam.

• 260

  ▼a  Wokingham:
  ▼b  Addison-Wesley Pub.,
  ▼c  1990.

• 300

  ▼a  xvii, 537p.:
  ▼b  ill.;
  ▼c  24cm.

• 440

  ▼a  International computer science series

• 653

  ▼a  THE
  ▼a  PROGRAMMING
  ▼a  PROCESS
  ▼a  AN
  ▼a  INTRODUCTION
  ▼a  USING
  ▼a  VDM
  ▼a  AND
  ▼a  PASC
  ▼a  INTERNATIONAL
  ▼a  COMPUTER
  ▼a  SCIENCE
  ▼a  SERIES

• 700

  ▼a  Latham,John T,

• 700

  ▼a  Bush,Vicky J,

• 700

  ▼a  Cottam,Ian D,

• 991

  ▼a  단행본

• 090

  ▼a  005.1
  ▼b  L34p