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.
- VerlagDover Publications Inc.
- Erscheinungsdatum2003
- ISBN 10 0486432386
- ISBN 13 9780486432380
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten464
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 26,04
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Mathematical Theory of Computation (Dover Books on...
Foto des Verkäufers
Mathematical Theory of Computation
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 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. Bestandsnummer des Verkäufers 514037568
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
Beispielbild für diese ISBN
Mathematical Theory of Computation
Print-on-DemandAnbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 516. Bestandsnummer des Verkäufers C9780486432380
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. Bestandsnummer des Verkäufers 9780486432380
Anzahl: 2 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
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)
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 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-ING-9780486432380
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Mathematical Theory of Computation
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
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
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
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 (Paperback)
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
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 our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9780486432380
Anzahl: 1 verfügbar