Decision Procedures
An Algorithmic Point of View
-
- 54,99 US$
-
- 54,99 US$
Lời Giới Thiệu Của Nhà Xuất Bản
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.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2008
29 tháng 4
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
322
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
10,1
Mb