Logic in computer science modelling and reasoning about systems
Material type:
TextPublication details: Cambridge,USA: Cambridge University Press, 2004Description: 427 pISBN: - 0-521-67089-6
- 004.0151 HUT-L
Books
| Current library | Call number | Status | Barcode | |
|---|---|---|---|---|
| UMT Main Campus | 004.0151 HUT-L (Browse shelf(Opens below)) | Available | 36252 |
Browsing UMT Main Campus shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 004.0151 HEI-D Discrete structures, logic, and computability | 004.0151 HEI-D Discrete structures, logic, and computability / | 004.0151 HUN-E Essentials of discrete mathematics / | 004.0151 HUT-L Logic in computer science | 004.0151 IQB-N Numerical methods for engineers and scientists with programs in Fortran and | 004.0151 IQB-N Numerical methods for engineers and scientists with programs in Fortran and | 004.0151 IQB-N Numerical methods for engineers and scientists with programs in Fortran and |
EN
There are no comments on this title.
Log in to your account to post a comment.