Computation Engineering : Applied Automata Theory and Logic
- المؤلف
- Ganesh Gopalakrishnan
- سنة النشر
- 2006
- الناشر
- Springer
- لغة الملف
- انكليزي
- نوع الملف
- Book
- تصنيف الكتاب
- Computer Science
- تحميل الكتاب قراءة الكتاب
This book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used every day in the field. In this respect, it is a departure from the conventional textbooks on complexity and computability, although these 'tradtional' aspects remain well represented.
الكلمات المفتاحية: Computer science / Automat / Hardware / Turing / Algorithms / Automata / Automata theory / Complexity / Complexity theory / Computer / Computer science / Formal method / Logic / Model checking / Regular expressions
