책 이미지
eBook 미리보기
책 정보
· 제목 : Modelling Distributed Systems (Hardcover)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783540739371
· 쪽수 : 154쪽
· 출판일 : 2007-09-26
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783540739371
· 쪽수 : 154쪽
· 출판일 : 2007-09-26
목차
Abstract Data Types.- Process Algebra.- Hiding Internal Transitions.- Protocol Specifications.- Linear Process Equations.- Verification Algorithms on State Spaces.- Symbolic Methods.
