Equational logic as a programming language / Michael J. O'Donnell.
Material type:
TextSeries: MIT Press series in the foundations of computingPublication details: Cambridge, Mass. : MIT Press, c1985Description: 296 p. : ill. ; 24 cmISBN: 026215028XSubject(s): Programming languages (Electronic computers) | Logic, Symbolic and mathematical | Equations, Theory ofDDC classification: 001.64/24 LOC classification: QA76.7 | .701985
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
ATU Book
|
SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY General Stacks | QA76.7 .701985 (Browse shelf(Opens below)) | Available | 0000003252 |
Total holds: 0
Browsing SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
| QA76.64 .Y82 1994 Object-Oriented Systems Design: An Integrated Approach/ | QA76.64 .Y82 1994 Object-Oriented Systems Design: An Integrated Approach/ | QA76.642 .P11 1997 Parallel programming with MPI / | QA76.7 .701985 Equational logic as a programming language / | QA76.7 .Ap51 1997 Programming languages : paradigm and practice / | QA76.7 .D26 Database Programme Language | QA76.7 .D26 Database Programme Language |
Includes index.
Bibliography: p. [277]-284.
There are no comments on this title.