Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /
1. Propositional logic
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Sách |
| Ngôn ngữ: | Vietnamese |
| Được phát hành: |
U.K :
Cambridge University Press ,
2002
|
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường CĐ Kỹ Thuật Cao Thắng |
|---|
| LEADER | 01067nam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | TVCDKTCT12500 | ||
| 003 | Thư viện trường Cao đẳng Kỹ thuật Cao Thắng | ||
| 005 | 20170523102536.1 | ||
| 008 | 100819 | ||
| 980 | \ | \ | |a Thư viện Trường CĐ Kỹ Thuật Cao Thắng |
| 024 | |a RG_1 #1 eb0 i1 | ||
| 020 | # | # | |a 052165200 |
| 041 | 0 | # | |a vie |
| 082 | # | # | |a 004.1 / |b L400G-m |
| 100 | 1 | # | |a Huth Michael |
| 245 | 0 | 0 | |a Logic in Computer Science: Modelling and Reasoning about Systems (Photo) / |c Huth Michael, Ryan Mark |
| 260 | # | # | |a U.K : |b Cambridge University Press , |c 2002 |
| 300 | # | # | |a 387tr. ; |c 27 cm |
| 520 | # | # | |a 1. Propositional logic |
| 520 | # | # | |a 2. Predicate logic |
| 520 | # | # | |a 3. Verification by model checking |
| 520 | # | # | |a 4. Program vertification |
| 520 | # | # | |a 5. Modal logics and agents |
| 520 | # | # | |a 6. Binary decision diagrams |
| 520 | # | # | |a Contents : |
| 650 | # | 4 | |a Computer logic |
| 650 | # | 4 | |a Tin học |
| 700 | 0 | # | |a Ryan Mark |
| 721 | # | # | |a Công nghệ thông tin |
| 841 | # | # | |b Kho Sách |j 100035912, 100035913 |