DF (55) 55 54 94 02 • Cuernavaca (777) 102 83 86
Síguenos en:
 |  |  |
(55) 55 54 94 02
Libros relacionados
|
Título: Mathematical Theory Of Computation | |
| Autor: Manna, Zohar | Precio: $549.00 | |
| Editorial: Dover Publications, Inc. | Año: 2003 | |
| Tema: Matematicas, Computacion, Programas Computacionales | Edición: 1ª | |
| Sinopsis | ISBN: 9780486432380 | |
| With 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 Turing machines); predicate calculus; verification of programs (bloth flowchart and algol-like programs); flowchart schemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures. | ||
Disponibilidad: Bajo pedido
ó
ó
Librería Bonilla SA de CV © Todos los derechos reservados. 2019
Última actualización: Jul 2019