Synopsis
Attempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. This self-contained treatment includes selected concepts of computability theory and mathematical logic.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Mathematical Theory of Computation
Image d'archives
MATHEMATICAL THEORY OF COMPUTATION
Edité par
Dover Publications, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Ancien ou d'occasion
Softcover
Vendeur : AVON HILL BOOKS, Cambridge, MA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Near Fine. Unabridge republication of 1974 work. ; 8vo 8" - 9" tall; 480 pp; Dover Books On Mathematics. N° de réf. du vendeur 58892
Acheter D'occasion
EUR 12,23
Expédition à EUR 2,97
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Theory of Computation (Dover Books on Mathematics)
Edité par
Dover Publications, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Ancien ou d'occasion
paperback
Vendeur : HPB-Diamond, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_460992689
Acheter D'occasion
EUR 12,10
Expédition à EUR 3,18
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Theory of Computation (Dover Books on Mathematics)
Edité par
Dover Publications, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Ancien ou d'occasion
paperback
Vendeur : HPB Inc., Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_460810465
Acheter D'occasion
EUR 12,10
Expédition à EUR 3,18
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Mathematical Theory of Computation
Edité par
Dover Publications, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Neuf
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1713832-n
Acheter neuf
EUR 16,38
Expédition à EUR 2,24
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mathematical Theory of Computation (Paperback or Softback)
Edité par
Dover Publications 12/24/2003, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Neuf
Paperback or Softback
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback or Softback. Etat : New. Mathematical Theory of Computation. Book. N° de réf. du vendeur BBS-9780486432380
Acheter neuf
EUR 18,70
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Mathematical Theory of Computation (Dover Books on Mathematics)
Edité par
Dover Publications, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Neuf
Couverture souple
Vendeur : Lakeside Books, Benton Harbor, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Brand New! Not Overstocks or Low Quality Book Club Editions! Direct From the Publisher! We're not a giant, faceless warehouse organization! We're a small town bookstore that loves books and loves it's customers! Buy from Lakeside Books! N° de réf. du vendeur OTF-S-9780486432380
Acheter neuf
EUR 16,42
Expédition à EUR 3,38
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mathematical Theory of Computation
Edité par
Dover Publications, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 1713832
Acheter D'occasion
EUR 17,73
Expédition à EUR 2,24
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mathematical Theory of Computation
Edité par
Dover Publications Inc., US, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Neuf
Paperback
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur LU-9780486432380
Acheter neuf
EUR 21,62
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mathematical Theory of Computation (Paperback)
Edité par
Dover Publications, New York, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur 9780486432380
Acheter neuf
EUR 23,08
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Mathematical Theory of Computation
Edité par
Dover Publications Inc., US, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Neuf
Paperback
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur LU-9780486432380
Acheter neuf
EUR 27,67
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles