책 이미지
eBook 미리보기
책 정보
· 제목 : Formal Methods for Software Engineering: Languages, Methods, Application Domains (Hardcover, 2021)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783030387990
· 쪽수 : 524쪽
· 출판일 : 2022-06-23
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783030387990
· 쪽수 : 524쪽
· 출판일 : 2022-06-23
목차
Formal Methods.- Logics for Software Engineering.- The Process Algebra CSP.- Algebraic Specification in CASL.- Specification-Based Testing.- Specification and Verification of Electronic Contracts.- Formal Methods for Human-Computer Interaction.- Formal Verification of Security Protocols.- Origins and Development of Formal Methods.- Conclusion.- App. A, Language Definition of CSP.- App. B, Algebraic Specification.
