Mathematical Theory of Computation (Dover Books on Mathematics) - Tapa blanda

Zohar Manna

 
9780486432380: Mathematical Theory of Computation (Dover Books on Mathematics)
Tapa blanda
ISBN 10: 0486432386 ISBN 13: 9780486432380
Editorial: Dover Publications Inc., 2003

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Dover Publications Inc.
Año de publicación
2003
Idioma
Inglés
ISBN 10 
0486432386
ISBN 13 
9780486432380
Encuadernación
Tapa blanda
Número de páginas
464
Contacto del fabricante
no disponible
Persona responsable
Soc. Agr. La Raia Ss
http://www.la-raia.it

Strada Monterotondo, 79
Novi Ligure
15067
Italia

Otras ediciones populares con el mismo título

9780070399105: Introduction to Mathematical Theory of Computation (Computer Science S.)

Edición Destacada

ISBN 10:  0070399107 ISBN 13:  9780070399105
Editorial: McGraw-Hill Inc.,US, 1974
Tapa dura