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, Incorporated, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 51852229-6
Acheter D'occasion
EUR 16,77
Frais de port :
Gratuit
Vers 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,43
Frais de port :
EUR 2,29
Vers 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,81
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 5 disponible(s)
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 18,17
Frais de port :
EUR 2,29
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
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 : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Feb2215580229588
Acheter neuf
EUR 17,78
Frais de port :
EUR 3,47
Vers 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,65
Frais de port :
Gratuit
Vers 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 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 24,19
Frais de port :
Gratuit
Vers 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.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 30,75
Frais de port :
Gratuit
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mathematical Theory of Computation (Dover Books on Mathematics)
Edité par
Dover Publications Inc. 2003-11-01, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Neuf
Paperback
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-ING-9780486432380
Acheter neuf
EUR 21,63
Frais de port :
EUR 17,63
De Royaume-Uni vers 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
Neuf
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1713832-n
Acheter neuf
EUR 24,55
Frais de port :
EUR 17,07
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles