Valutazione del libro
Maggiori informazioni sul libro
This book is a rigorous but readable introduction to some of the central topics in theoretical computer science. The main subjects are computability theory, formal languages, logic and automated deduction, computational complexity (including NP-completeness), and programming language semantics.
Acquisto del libro
Computability, Complexity, and Languages, Martin Davis, Ron Sigal, Elaine J Weyuker
- Lingua
- Pubblicato
- 1994
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.