책 이미지
eBook 미리보기
책 정보
· 제목 : Specification and Proof in Real Time CSP (Hardcover)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 일반
· ISBN : 9780521450553
· 쪽수 : 200쪽
· 출판일 : 1993-05-20
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 일반
· ISBN : 9780521450553
· 쪽수 : 200쪽
· 출판일 : 1993-05-20
목차
1. The language of CSP; 2. The timed failure model; 3. Recursive processes; 4. Specification; 5. Proof; 6. Structuring specification; 7. Case study; 8. Broadcast information; 9. Discussion.
