Truth, deduction and computation: logic and semantics for computer science
Material type:![Book](/opac-tmpl/lib/famfamfam/BK.png)
- 0716782014
- 005.13 N894
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
Computer Science and Automation | 005.13 N894 (Browse shelf(Opens below)) | Available | 153878 |
Browsing Computer Science and Automation shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
005.12 P16 (CSA) Design Patterns : Elements of Reusable Object-Oriented Software | 005.12028 N96 Use case maps for object-oriented systems | 005.122 P14 (CSA) Algorithm design | 005.13 N894 Truth, deduction and computation: logic and semantics for computer science | 005.13 N92 CAAP '92 /ed. by J.C. Raoult. | 005.13 N961(CSA) Prgramming languages Concepts and Constructs | 005.13 P05 (CSA) Advanced topics in types and programming languages |
There are no comments on this title.