Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Normal view MARC view ISBD view


By: Rydeheard, David E.
Contributor(s): Burstall, Rod M.
Material type: materialTypeLabelBookSeries: International Series In Computer Science / Ed. C. A. R. Hoare. Publisher: New York Prentice Hall c1988Description: xiii,257.ISBN: 0131627368.Subject(s): Categories (Mathematics) -- Data Processing | Electronic Digital Computers -- ProgrammingDDC classification: 511.3 | R972
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur
General Stacks 511.3 R972 (Browse shelf) Available A104324
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
511.3 P945W PROOF THEORY OF MODAL LOGIC 511.3 P962l Logical foundations of mathematics and computational complexity 511.3 R733d3 DISCRETE MATHEMATICS 511.3 R972 COMPUTATIONAL CATEGORY THEORY 511.3 Sa29eE Elements of automata theory 511.3 SCH86C2 CHAPTER ZERO 511.3 Si25e Excercises in set theory

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha