Introducing the theory of computation / by Wayne Goddard.
Material type: TextPublication details: New delhi. : Jones and Bartlett Publishers, c2008 - 2017Description: xii, 228 p. : ill. ; 24 cmISBN: 9789380108254 (pbk)Subject(s): Machine theory | Computational complexityDDC classification: 511.3Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Namal Library Mathematics | 511.3 GOD-I 2010 4195 (Browse shelf (Opens below)) | 1 | Available | 0004195 | ||
Books | Namal Library Mathematics | 511.3 GOD-I 2010 8161 (Browse shelf (Opens below)) | 2 | Available | 0008161 | ||
Books | Namal Library Mathematics | 511.3 GOD-I 2010 9831 (Browse shelf (Opens below)) | 3 | Available | 0009831 |
Total holds: 0
Browsing Namal Library shelves, Shelving location: Mathematics Close shelf browser (Hides shelf browser)
511.3 FIS-A 2011 8982 An introduction to practical formal methods using temporal logic | 511.3 FIS-A 2011 8984 An introduction to practical formal methods using temporal logic | 511.3 GOD-I 2010 4195 Introducing the theory of computation / | 511.3 GOD-I 2010 8161 Introducing the theory of computation / | 511.3 GOD-I 2010 9831 Introducing the theory of computation / | 511.3 GRE-F 2012 1175 Formal languages and compilation / | 511.3 KAL-L 1964 11006 Logic: techniques of formal reasoning / |
Includes bibliographical references (p. 201-202) and index.
There are no comments on this title.