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 16,60
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 16,26
EUR 2,27 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 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. 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 (Paperback)
Anbieter: Grand Eagle Retail, Bensenville, IL, 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
Foto des Verkäufers
Mathematical Theory of Computation
Anbieter: Rarewaves USA, OSWEGO, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers LU-9780486432380
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Mathematical Theory of Computation
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers LU-9780486432380
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Mathematical Theory of Computation (Dover Books on Mathematics)
Verlag:
Dover Publications Inc. 2003-11-01, 2003
ISBN 10: 0486432386
ISBN 13: 9780486432380
Neu
Paperback
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-ING-9780486432380
Anzahl: Mehr als 20 verfügbar