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!
|
Byddwch y cyntaf i adael sylw!