Évaluation du livre
Paramètres
En savoir plus sur le livre
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.
Achat du livre
Computability, Complexity, and Languages, Martin Davis, Ron Sigal, Elaine J Weyuker
- Langue
- Année de publication
- 1994
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.