この商品を友人に教える:
Automata and Computability: A Programmer's Perspective Ganesh Gopalakrishnan 第1 版
Automata and Computability: A Programmer's Perspective
Ganesh Gopalakrishnan
This class-tested textbook provides a comprehensive and accessible introduction to the theory of automata and computation. It incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus.
328 pages
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2020年9月30日 |
| ISBN13 | 9780367656546 |
| 出版社 | Taylor & Francis Ltd |
| ページ数 | 328 |
| 寸法 | 277 × 216 × 22 mm · 946 g |
| 言語 | 英語 |
![Cover for Ganesh Gopalakrishnan · Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/095/9783642221095.jpg?ganesh-gopalakrishnan-2011-computer-aided-verification-23rd-international-conference-cav-2011-snowbird-ut-usa-july-14-20-2011-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1457514278)
