책 이미지
eBook 미리보기
책 정보
· 제목 : Formal Methods for Open Object-based Distributed Systems : Volume 2 (Hardcover, 1997 ed.)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 객체지향
· ISBN : 9780412820403
· 쪽수 : 470쪽
· 출판일 : 1997-06-30
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 객체지향
· ISBN : 9780412820403
· 쪽수 : 470쪽
· 출판일 : 1997-06-30
목차
Preface. Committee members and invited speakers. List of referees. Part One: Mobility and Pi-calculus. Part Two: Concurrent OO specification and programming. Part Three: Actors. Part Four: Distributed systems: ODP and CORBA (I). Part Five: OO requirements analysis and design. Part Six: Formal specification (I). Part Seven: Subtyping and inheritance. Part Eight: Distributed systems: ODP and CORBA (II). Part Nine: Formal specification (II). Index of contributors. Keyword index.
