책 이미지
eBook 미리보기
책 정보
· 제목 : Formal Methods for Open Object-based Distributed Systems : Volume 1 (Hardcover, 1996 ed.)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 객체지향
· ISBN : 9780412797705
· 쪽수 : 412쪽
· 출판일 : 1996-11-30
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 객체지향
· ISBN : 9780412797705
· 쪽수 : 412쪽
· 출판일 : 1996-11-30
목차
Types and behaviour. Formalizing object-orientated methods. Case studies I. Actors. Open distributed processing I. Case studies II. Object and process calculi. Specification and design distributed systems. Open distributed processing II.
