Logic in computer science:modelling and reasoning about systems
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awduron Eraill: | |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Cambridge
CUP
2005
|
| Rhifyn: | 2nd ed. |
| Pynciau: | |
| Tagiau: |
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
MEGHNAD SAHA INSTITUTE OF TECHNOLOGY: General stacks
| Rhif Galw: |
004. H979e2 |
|---|---|
| Copi 1 | Ar gael Gwneud Cais |