Tels.: DF (55) 55 54 94 02 • Cuernavaca (777) 102 83 86
Libros relacionados
portada

portada

portada

portada

portada

portada

portada

portada

portada

portada

portada

portada

portada Descargar ficha PDF Título:
Autor: Precio: $549.00
Editorial: Año: 2003
Tema: 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    Contáctanos  ó Solicítalo
Librería Bonilla SA de CV © Todos los derechos reservados. 2019
Última actualización: Jul 2019