Mathematical Theory of Computation (Dover Books on Mathematics) - Softcover

Zohar Manna

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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Dover Publications Inc.
Erscheinungsdatum
2003
Sprache
Englisch
ISBN 10 
0486432386
ISBN 13 
9780486432380
Einband
Tapa blanda
Anzahl der Seiten
464
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Soc. Agr. La Raia Ss
http://www.la-raia.it

Strada Monterotondo, 79
Novi Ligure
15067
Italien

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  0070399107 ISBN 13:  9780070399105
Verlag: McGraw-Hill Inc.,US, 1974
Hardcover