정형기법
Regular price
$28.09
Sale price
Regular price
✈️
Estimated delivery date 예상 배송일
Standard Shipping
불러오는 중...
주문일로부터 8-12 영업일
Express Shipping
불러오는 중...
주문일로부터 6-8 영업일
▶ 이 책은 컴퓨터공학의 정형기법에 대해 다룬 도서입니다. 정형기법의 기초적이고 전반적인 내용을 학습할 수 있도록 구성했습니다.
Couldn't load pickup availability
출판사 리뷰
출판사 리뷰
목차
목차
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 부록ㄹ
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 부록ㄹ
저자
저자
이문근
Payment & Security
Payment methods
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
