Verwandte Artikel zu Mathematical Theory of Computation (Dover Books on...
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.
Gebraucht kaufen
Zustand: BefriedigendUsed book that is in clean, average...
Diesen Artikel anzeigen
EUR 10,73
EUR 8,10 für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 24,36
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Mathematical Theory of Computation (Dover Books on...
Beispielbild für diese ISBN
Mathematical Theory of Computation
Verlag:
Dover Publications, Incorporated, 2003
ISBN 10: 0486432386
ISBN 13: 9780486432380
Gebraucht
Softcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Used book that is in clean, average condition without any missing pages. Artikel-Nr. 51852229-6
Anzahl: 1 verfügbar
Foto des Verkäufers
Mathematical Theory of Computation
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. KlappentextrnrnWith 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 T. Artikel-Nr. 514037568
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Mathematical Theory of Computation
Verlag:
Dover Publications Dez 2003, 2003
ISBN 10: 0486432386
ISBN 13: 9780486432380
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - 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. Artikel-Nr. 9780486432380
Anzahl: 2 verfügbar