Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 004.015113 HOM (Browse shelf) | Available | 033262 |
004.01511 HEI Discrete structures, logic, and computability | 004.015113 BER Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions | 004.015113 BOW Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems | 004.015113 HOM Automata theory and formal languages | 004.015113 NEW Automated theorem proving : theory and practice | 004.015113 NEW Automated theorem proving : theory and practice | 004.015113 SIM Theory of formal languages with applications |
Includes bibliographical references and index.
The book is a concise, self-contained and fully updated introduction to automata theory – a fundamental topic of computer sciences and engineering. The material is presented in a rigorous yet convincing way and is supplied with a wealth of examples, exercises and down-to-the earth convincing explanatory notes. An ideal text to a spectrum of one-term courses in computer sciences, both at the senior undergraduate and graduate students.
There are no comments for this item.