Libro mathematical theory of computation De Manna, Zohar

portada mathematical theory of computation

Formato

Libro Físico

Autor

Zohar Manna

Editorial

Dover Publications

Idioma

Inglés

Encuadernación

Tapa Blanda

Dimensiones

21.3 x 14.0 x 2.4 cm

Peso

0.49 kg.

ISBN

0486432386

ISBN13

9780486432380

Categorías

Teoría de números
Programación informática - desarrollo de software

mathematical theory of computation

Zohar Manna (Autor) · Dover Publications · Tapa Blanda

Sin Stock

Reseña del libro "mathematical theory of computation"

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.