THE LOGICAL BASIS FOR COMPUTER PROGRAMMING
By: Manna, Zohar.
Contributor(s): Waldinger, Richard.
Material type: BookSeries: Addison-Wesley Series In Computer Science. Publisher: Reading, Mass. Addison-Wesley 1985Description: 2 v.Subject(s): Programming (Electronic Digital Computers) | Logic, Symbolic And MathematicalDDC classification: 519.7 | M315LItem type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | General Stacks | 519.7 M315L (Browse shelf) | v. 1 | Available | A88612 |
Total holds: 0
Contents. -- V. 1. Deductive Reasoning. -- V. 2. Deductive Techniques
There are no comments for this item.