Programming with Higher-Order Logic /
Material type: TextLanguage: English Publication details: New York: Cambridge University Press, 2012Description: 306ISBN: 9780521879408Contained works: Nadathur,, GopalanSubject(s): Computer science- Computer programming | Logical programmingDDC classification: 005.115Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
BK | Kannur University Central Library | 005.115 MIL/ (Browse shelf (Opens below)) | Available | 31068 |
Browsing Kannur University Central Library shelves Close shelf browser (Hides shelf browser)
005.11 BRA/O Object-oriented analysis, design and implementation : an integrated approach | 005.11 FEL/S Semantics engineering with PLT redex | 005.11 MAI/F Functional Data Structures in R :advanced statistical programming in R | 005.115 MIL/ Programming with Higher-Order Logic / | 005.117 BAR/O Object-oriented design with UML and Java | 005.117 BLA/ Object -Oriented modeling and design with UML / | 005.117 BOO/ Object oriented analysis and design: with applications / |
There are no comments on this title.