Logic computing machines, and automation
Material type:
TextLanguage: English Publication details: London Cleaver Hume Press 1963Description: xxii,427pSubject(s): DDC classification: - 005.131 H656
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 005.131 H656 (Browse shelf(Opens below)) | Available | 63146 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 005.131 H151 Verifying concurrent progresses using temporal logic / | 005.131 H321 Introduction to formal language theory | 005.131 H321 Introduction to formal language theory | 005.131 H656 Logic computing machines, and automation | 005.131 In61 Automata; languages and programming | 005.131 J78 Logic,language and computation | 005.131 K84 Logic and algorithms with applications to the computer and information sciences |
There are no comments on this title.
Log in to your account to post a comment.
