MARC 닫기

• LDR

  00807nam ac200265 k 4500

• 001

  000000699723

• 005

  20220619185336

• 007

  ta

• 008

  971027s1996 uk a 001a eng

• 020

  ▼a  0123490405:
  ▼c  ＄49.95

• 040

  ▼a  248023
  ▼c  248023
  ▼d  111314

• 049

  ▼l  EM129020

• 082

  ▼a  371.1

• 090

  ▼a  371.1
  ▼b  D281t

• 100

  ▼a  Dean, C. Neville.

• 245

  ▼a  Teaching and learning formal methods/
  ▼d  by C. Neville Dean;
  ▼e  Michael G. Hinchey.

• 260

  ▼a  London:
  ▼b  Academic press,
  ▼c  1996.

• 300

  ▼a  xvi,285p.:
  ▼b  illus.;
  ▼c  23cm.

• 490

  ▼a  Academic press international series in formal methods

• 504

  ▼a  Includes bibliographical references and index

• 653

  ▼a  TEACHING
  ▼a  LEARNING
  ▼a  FORMAL
  ▼a  METHODS

• 700

  ▼a  Hinchey, Michael G.,
  ▼e  jt,

• 950

  ▼b  \48900

• 990

  ▼a  FUTURE

• 991

  ▼a  단행본