Computation and reasoning : a type theory for computer science / Zhaohui Luo.
Material type:
TextSeries: International series of monographs on computer sciencePublication details: Oxford : New York : Clarendon Press ; Oxford University Press, c1994Description: xi, 228 p. : ill. ; 24 cmISBN: 0198538359 :Subject(s): Computer scienceDDC classification: 004 LOC classification: QA76 | .L97 1994Online resources: Publisher description | Table of contents only
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
ATU Book
|
SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY General Stacks | QA76 .L97 1994 (Browse shelf(Opens below)) | c1 | Available | 0000003453 | ||
|
ATU Book
|
SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY General Stacks | QA76 .L97 1994 (Browse shelf(Opens below)) | c2 | Available | 0000003454 |
Total holds: 0
Includes bibliographical references (p. 211-220) and index.
There are no comments on this title.