Isbn: 9780486432380 - mathematical theory of computation (dover books on mathematics) (2 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware - Attempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. This self-contained treatment includes selected concepts of computability theory and mathematical logic.

Zustand: New. KlappentextrnrnWith the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. Subjects include computability (with discussions of finite automata and T.