Constraint logic programming using ECLiPSe
By: Apt, Krzysztof R.
Material type:
BookPublisher: Cambridge: Cambridge University Press, 2007Description: xv, 329 p.; ill.: 25 cm.ISBN: 9780521866286 .Subject(s): Constraint programming | Logic programming | Mathematical logic | Software Development | PrologDDC classification: 005.116
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.116 APT (Browse shelf) | Available | 015962 |
Browsing DAIICT Shelves Close shelf browser
| 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 | 005.117 AMB Building object applications that work |
There are no comments for this item.