Correctness problem in computer science
Material type:
TextLanguage: English Series: International Lecture Series In Computer SciencePublication details: London Academic Press 1981Description: xiii, 279pSubject(s): DDC classification: - 001.642 C817
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 001.642 C817 (Browse shelf(Opens below)) | Available | A80194 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
No cover image available | No cover image available |
|
No cover image available | ||
| 001.642 B268d Data structures and their implementation | 001.642 B532i Introduction to functional programming | 001.642 C33c Concurrency control in distributed database systems | 001.642 C817 Correctness problem in computer science | 001.642 D36f Fundamentals of data base systems | 001.642 D563d Database management | 001.642 D569d Discipline of programming |
There are no comments on this title.
Log in to your account to post a comment.