MARC 닫기

• LDR

  00000nam k2200205 c 4500

• 001

  000000737823

• 005

  20170307140759

• 008

  030421s2002 ulka AC 0 kor

• 040

  ▼a  243002
  ▼c  243002
  ▼d  243002

• 041

  ▼a  kor
  ▼b  eng

• 100

  ▼a  장성호

• 245

  ▼a  공유자원을 포함하는 Statechart와 프로세스 대수적 의미론/
  ▼d  장성호.

• 260

  ▼a  서울:
  ▼b  고려대학교 대학원,
  ▼c  2002.

• 300

  ▼a  68p.:
  ▼b  삽도, 도표;
  ▼c  26 cm.

• 500

  ▼a  권두에 국문요약 수록

• 502

  ▼a  학위논문(석사)
  ▼b  고려대학교 대학원:
  ▼c  컴퓨터학과 전산학전공,
  ▼d  2002.

• 504

  ▼a  참고문헌:p.68

• 653

  ▼a  정형기법
  ▼a  Statechart
  ▼a  ACSR
  ▼a  공유자원

• 990

  ▼a  FUTURE
  ▼b  송미영

• 991

  ▼a  (군대학) 학위논문

• 090

  ▼a  공사
  ▼b  42-12