책 이미지
eBook 미리보기
책 정보
· 제목 : Algebraic Specification of Communication Protocols (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9780521088121
· 쪽수 : 212쪽
· 출판일 : 2008-12-11
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9780521088121
· 쪽수 : 212쪽
· 출판일 : 2008-12-11
목차
1. Introduction; 2. Algebraic specifications in PSF; 3. Simple protocols; 4. Sliding window protocols; 5. The amoeba transaction protocol; 6. Two simple protocols for local area networks; 7. The token ring protocol; The PSF library.
