Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 005.115 YUA (Browse shelf) | Available | 013953 |
005.115 BOO Computability and Logic | 005.115 DOE Haskell road to logic, maths and programming | 005.115 HIT Mathematical aspects of logic programming semantics | 005.115 YUA Constraint-based verification | 005.116 APT Constraint logic programming using ECLiPSe | 005.117 AIH Learning UML | 005.117 ALH Guide to applying the UML |
There are no comments for this item.