MARC 닫기

• LDR

  01024nam 2200253 k 4500

• 001

  000000570363

• 005

  SHELF.cpp#1510

• 008

  050801s1998 ulka t AS 000 kor

• 040

  ▼a  248023
  ▼c  248023

• 049

  ▼l  EM0000176233
  ▼v  98-13

• 082

  ▼a  355.00711
  ▼2  21

• 090

  ▼a  355.00711
  ▼b  육16ㅇ
  ▼c  98-13

• 110

  ▼a  육군사관학교 화랑대연구소

• 245

  ▼a  지적CAI를 활용한 두통신프로세스간의 등가성 검증알고리즘과 지원 프로그램에 관한 연구=
  ▼x  The study for equivalence-verification algorithm and its implementation on two communication processes using CAI/
  ▼d  육군사관학교 화랑대연구소 [편].

• 260

  ▼a  서울:
  ▼b  육군사관학교 화랑대연구소,
  ▼c  1998.

• 300

  ▼a  95p.:
  ▼b  삽도;
  ▼c  26cm.

• 500

  ▼a  연구자: 이시창, 박병호, 한창희

• 504

  ▼a  참고문헌: p.66-68

• 653

  ▼a  지적CAI
  ▼a  두통신프로세스간
  ▼a  등가성
  ▼a  검증알고리즘
  ▼a  EQUIVALENCE
  ▼a  VERIFICATION
  ▼a  ALGORITHM
  ▼a  IMPLEMENTATION
  ▼a  TWO
  ▼a  COMMUNICATION
  ▼a  PROCESSES
  ▼a  CAI

• 700

  ▼a  이시창

• 700

  ▼a  박병호

• 700

  ▼a  한창희

• 700

  ▼a  연구자: 이시창, 박병호, 한창희

• 950

  ▼a  비매품

• 991

  ▼a  단행본

• 090

  ▼a  355.00711
  ▼b  육16ㅇ