책 이미지
eBook 미리보기
책 정보
· 제목 : Decision Procedures: An Algorithmic Point of View (Hardcover, 2)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783662504963
· 쪽수 : 356쪽
· 출판일 : 2017-01-27
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783662504963
· 쪽수 : 356쪽
· 출판일 : 2017-01-27
목차
Introduction and Basic Concepts.- Decision Procedures for Propositional Logic.- From Propositional to Quantifier-Free Theories.- Equalities and Uninterpreted Functions.- Linear Arithmetic.- Bit Vectors.- Arrays.- Pointer Logic.- Quantified Formulas.- Deciding a Combination of Theories.- Propositional Encodings.- Applications in Software Engineering.- SMT-LIB 2.0: A Brief Tutorial.- A C++ Library for Developing Decision Procedures.
