책 이미지
eBook 미리보기
책 정보
· 제목 : FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Paperback, 2015)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319192482
· 쪽수 : 610쪽
· 출판일 : 2015-06-02
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783319192482
· 쪽수 : 610쪽
· 출판일 : 2015-06-02
목차
Automated circular assume-guarantee reasoning.- Towards formal verification of orchestration computations using the K framework.- Narrowing operators on template abstract domains.
