책 이미지

eBook 미리보기
책 정보
· 제목 : Introduction to Process Algebra (Hardcover, 2000) 
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783540665793
· 쪽수 : 168쪽
· 출판일 : 1999-12-23
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783540665793
· 쪽수 : 168쪽
· 출판일 : 1999-12-23
목차
1. Introduction.- 2. Basic Process Algebra.- 3. Algebra of Communicating Processes.- 4. Recursion.- 5. Abstraction.- 6. Protocol Verifications.- 7. Extensions.- A. Equational Logic.- B. Structural Operational Semantics.- Solutions to Selected Exercises.- References.
저자소개
추천도서
분야의 베스트셀러 >