Loading...
Logic in computer science Modelling and reasoning about systems /
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Undetermined |
| Published: |
Cambridge Univeristy Press ,
2004.
|
| Edition: | 2nd ed. |
| Subjects: |
| Physical Description: | 427 p. |
|---|---|
| ISBN: | 052154310x |