책 이미지
eBook 미리보기
책 정보
· 제목 : Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Paperback, 2014)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319076010
· 쪽수 : 385쪽
· 출판일 : 2014-07-30
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319076010
· 쪽수 : 385쪽
· 출판일 : 2014-07-30
목차
Probabilistic modal specifications.- Orchestration.- Super-dense computation in verification of Hybrid CSP Processes.- A proof-carrying code approach to certificate auction mechanisms.- Towards verification of ensemble based component systems.
