Decision Procedures
An Algorithmic Point of View
-
- US$54.99
-
- US$54.99
출판사 설명
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.
장르
컴퓨터 및 인터넷
출시일
2008년
4월 29일
언어
EN
영어
길이
322
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
10.1
MB