Articles liés à Mathematical Theory of Computation
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.
- ÉditeurDover Publications Inc.
- Date d'édition2003
- ISBN 10 0486432386
- ISBN 13 9780486432380
- ReliureBroché
- Langueanglais
- Nombre de pages464
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 18,67
EUR 10,98 expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Mathematical Theory of Computation
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 1.07. Book. N° de réf. du vendeur BBS-9780486432380
Quantité disponible : 5 disponible(s)
Image d'archives
Mathematical Theory of Computation
impression à la demandeVendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 516. N° de réf. du vendeur C9780486432380
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 : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1713832-n
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 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-ING-9780486432380
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mathematical Theory of Computation
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 514037568
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
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
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mathematical Theory of Computation
Edité par
Dover Publications Dez 2003, 2003
ISBN 10 : 0486432386
ISBN 13 : 9780486432380
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9780486432380
Quantité disponible : 2 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 : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 1713832
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 : CitiRetail, Stevenage, Royaume-Uni
É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 our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9780486432380
Quantité disponible : 1 disponible(s)