책 이미지
eBook 미리보기
책 정보
· 제목 : Software Reliability Methods (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9781441928764
· 쪽수 : 332쪽
· 출판일 : 2011-10-09
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9781441928764
· 쪽수 : 332쪽
· 출판일 : 2011-10-09
목차
Introduction Preliminaries Logic and Theorem Proving Modeling Systems Formal Specification of Systems Properties Automatic Verification Deductive Verification Process Algebras and Equivalences Testing Visualization Pragmatics of Formal Methods Conclusions
