Models of computation and formal languages / R. Gregory Taylor.
Material type:
TextPublication details: New York : Oxford University Press, 1998.Description: xviii, 667 p. : ill. ; 25 cmISBN: - 019510983X (cloth)
- QA9.59 .T11
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
CKT-UTAS Library General Stacks | QA9.59 T11 (Browse shelf(Opens below)) | Available | NAV-51704215335 |
Browsing CKT-UTAS Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| QA9. K21 Mathematical Logic and Computability/ | QA9.54 G11 100% mathematical proof / | QA9.59 K21 A Programming Approach to Computability | QA9.59 T11 Models of computation and formal languages / | QA11.A2 Studying Mathematics and its Applicatins / | QA11.A2 I51 Improving the learning of mathematics / | QA11.A2 J12 Mathematical Methods: |
Includes bibliographical references (p. 657-660) and index.
There are no comments on this title.
Log in to your account to post a comment.