책 이미지
eBook 미리보기
책 정보
· 제목 : Logic in Computer Science : Modelling and Reasoning about Systems (Paperback, 2 Revised edition)
· 분류 : 외국도서 > 컴퓨터 > 수학/통계 소프트웨어
· ISBN : 9780521543101
· 쪽수 : 440쪽
· 출판일 : 2004-08-26
· 분류 : 외국도서 > 컴퓨터 > 수학/통계 소프트웨어
· ISBN : 9780521543101
· 쪽수 : 440쪽
· 출판일 : 2004-08-26
목차
Foreword; 1. Propositional logic; 2. Predicate logic; 3. Verification by model checking; 4. Program verification; 5. Modal logics and agents; 6. Binary decision diagrams; Bibliography; Index.
