메인페이지로 이동 로그인 하기 회원가입하기 연락정보
전북대학교 출판문화원
도서검색 이용안내
신간도서
정형기법
  • 분류
    컴퓨터공학
  • 책제목
    정형기법
  • 저자
    이문근
  • 출판사
    전북대학교출판문화원
  • 출간일
    2017-09-15
  • 쪽수
    572쪽
  • ISBN
    ISBN 979-11-87892-50-2
  • 판매가
    25,000원
저자소개
이문근
미국, Pennsylvania State University, 컴퓨터과학, 학사
미국, The University of Pennsylvania, 컴퓨터정보과학, 석사
미국, The University of Pennsylvania, 컴퓨터정보과학, 박사
미국, CCCC, Computer Scientist
전북대학교 컴퓨터공학부 교수
소프트웨어재·역공학, 정형기법, 모델링기법, 행위공학 전공
저서 『행위 온톨로지』, 『프로세스 대수』 (어화출판사) 등
시집 『봄이 오는 까닭』 (시선사), 『Meta-X』 (문예연구사) 등
책소개
목차
PART 01 정형기법 개요
PART 02 SW 공학과 공정 모델
PART 03 상태 기계 개요
PART 04 Petri Net
PART 05 Statechart
PART 06 Modechart
PART 07 논리학 개요
PART 08 Z Notation
PART 09 Temporal Logic
PART 10 Real-Time Logic
PART 11 프로세스 대수 개요
PART 12 CCS
PART 13 ACSR
PART 14 dT-calculus
PART 15 국제 표준안과 정형기법
PART 16 부록
상세이미지
준비중입니다.
 
전북대학교 출판문화원 주소:(561-756) 전북 전주시 덕진구 백제대로 567 전북대학교 출판문화원 (사범대학 본관 뒤 우림인재등용관 1층)
지도보기 전북대학교 캠퍼스맵 출판문화원 소개 관리자 이메일 개인정보취급방침 이용약관 오시는 길
전북대학교출판문화원 title=
소리내
패스메이커
건지학술총서
달섬 세계고전