Call Number |
:
|
519.7 M266 |
Type of Document |
:
|
Monograph (Book) |
Language of Doc. |
:
|
EN |
Title |
:
|
The Logical Basis For Computer Programming |
Author(s) |
:
|
Manna
Zohar Waldinger Richard |
Publisher |
:
|
Addison - Wesley |
Publication Year |
:
|
1985 |
Publication Place |
:
|
Massachusetts |
Physical description |
:
|
618 |
Notes |
:
|
2 Volumes : Deductive Reasoning & Deductive Systems |
Subject Area |
:
|
Mathematics |
Subject Headings |
:
|
-- omputer programming -- symbolic and mathematical logic |
Item | Barcode | Status | Due Date | Location | Media Type |
1 | 42363 | -- | -- | English Section | |
2 | 50135 | -- | -- | English Section |