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.
Neu kaufen
Diesen Artikel anzeigen
EUR 16,08
EUR 2,24 für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Mathematical Theory of Computation (Dover Books on...
Beispielbild für diese ISBN
Mathematical Theory of Computa
Anbieter: SecondSale, Montgomery, IL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Bestandsnummer des Verkäufers 00090519364
Anzahl: 1 verfügbar
Foto des Verkäufers
Mathematical Theory of Computation (Dover Books on Mathematics)
Anbieter: -OnTimeBooks-, Phoenix, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if youâre not satisfied with purchase please return item for full refund. Ships via media mail. Bestandsnummer des Verkäufers OTV.0486432386.G
Anzahl: 1 verfügbar
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. Bestandsnummer des Verkäufers 51852229-6
Anzahl: 1 verfügbar
Foto des Verkäufers
Mathematical Theory of Computation
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 1713832-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Mathematical Theory of Computation (Paperback or Softback)
Verlag:
Dover Publications 12/24/2003, 2003
ISBN 10: 0486432386
ISBN 13: 9780486432380
Neu
Paperback or Softback
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback or Softback. Zustand: New. Mathematical Theory of Computation 1.07. Book. Bestandsnummer des Verkäufers BBS-9780486432380
Anzahl: 5 verfügbar
Foto des Verkäufers
Mathematical Theory of Computation
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 1713832
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Mathematical Theory of Computation (Dover Books on Mathematics)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2215580229588
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Mathematical Theory of Computation (Dover Books on Mathematics)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9780486432380
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Mathematical Theory of Computation (Dover Books on Mathematics)
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9780486432380
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Mathematical Theory of Computation (Paperback)
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9780486432380
Anzahl: 1 verfügbar