Please use this identifier to cite or link to this item:
https://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15942
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Taylor, R. Gregory | - |
dc.date.accessioned | 2017-01-11T07:46:07Z | - |
dc.date.available | 2017-01-11T07:46:07Z | - |
dc.date.issued | 1998 | - |
dc.identifier.isbn | 9780195109832 | - |
dc.identifier.isbn | 019510983X | - |
dc.identifier.uri | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/15942 | - |
dc.description | Pages: 683 | vi |
dc.description.abstract | Models of Computation and Formal Languages presents a comprehensive and rigorous treatment of the theory of computability. The text takes a novel approach focusing on computational models and is the first book of its kind to feature companion software. Deus Ex Machina, developed by Nicolae Savoiu, comprises software simulations of the various computational models considered and incorporates numerous examples in a user-friendly format. | vi |
dc.language.iso | en | vi |
dc.publisher | Oxford University Press | vi |
dc.subject | Models Of Computation | vi |
dc.title | Models of Computation and Formal Languages | vi |
dc.type | Book | vi |
Appears in Collections: | Công Nghệ TT |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
13-Models-of-Computation-and-Form.pdf | 30,92 MB | Adobe PDF | Sign in to read |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.