Bild 1 von 1
Galerie
Bild 1 von 1
Mathematical Theory of Computation by Zohar Manna (English) Paperback Book
US $33,47
Ca.EUR 28,50
Artikelzustand:
Neu
Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte Seiten. Genauere Einzelheiten entnehmen Sie bitte dem Angebot des Verkäufers.
3 verfügbar
- Sofort-KaufenMathematical Theory of Computation by Zohar Manna (English) Paperback Book
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos USPS Ground Advantage®.
Standort: Fairfield, Ohio, USA
Lieferung:
Lieferung zwischen Mo, 20. Okt und Mo, 27. Okt bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Zahlungen:
Sicher einkaufen
- Gratis Rückversand im Inland
- Punkte für jeden Kauf und Verkauf
- Exklusive Plus-Deals
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:396987492736
Artikelmerkmale
- Artikelzustand
- ISBN-13
- 9780486432380
- Book Title
- Mathematical Theory of Computation
- ISBN
- 9780486432380
Über dieses Produkt
Product Identifiers
Publisher
Dover Publications, Incorporated
ISBN-10
0486432386
ISBN-13
9780486432380
eBay Product ID (ePID)
4547181
Product Key Features
Number of Pages
480 Pages
Publication Name
Mathematical Theory of Computation
Language
English
Subject
Software Development & Engineering / Quality Assurance & Testing, Programming / General, Logic
Publication Year
2003
Type
Textbook
Subject Area
Mathematics, Computers
Series
Dover Books on Mathematics Ser.
Format
Trade Paperback
Dimensions
Item Height
0.9 in
Item Weight
18.8 Oz
Item Length
8.4 in
Item Width
5.5 in
Additional Product Features
Intended Audience
College Audience
LCCN
2003-060063
Dewey Edition
22
Illustrated
Yes
Dewey Decimal
005.1
Synopsis
With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus (basic notions, natural deduction, and the resolution method); verification of programs (both flowchart and algol-like programs); flowchart schemas (basic notions, decision problems, formalization in predicate calculus, and translation programs); and the fixpoint theory of programs (functions and functionals, recursive programs, and verification programs). The treamtent is self-contained, and each chapter concludes with bibliographic remarks, references, and problems., 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., 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.
LC Classification Number
QA76.6.M356 2003
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
Info zu diesem Verkäufer
grandeagleretail
98,6% positive Bewertungen•2,8 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (1.065.330)
- c***a (121)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufThe seller was very responsive and answered me on a timely matter. The product itself came in its packaging and was new, not used at all. The packaging was not beat up or anything, safely delivered to my mailbox. No mix ups and zero stress with delivery. The price for the product is completely understandable for the product. I really appreciate the seller and I am very happy to have purchased through this seller. Completely trustable!
- m***4 (1612)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufLeaving positive feedback because 1) item was packed well & arrived as described 2) seller did give partial refund when subsequent price dropped below org purchase price. 3) communication was quick However, there was a downside to this transaction -item listed as in-stock but ended up waiting nearly a month for them to get it from their distributer then ship it to me (bought June 29th, arrived around July 21). Auction said 12-15 days. Better clarity would have prevented lot of frustrationStreet Fighter II - Guile (Player 2) Figure - 6 Inch (Nr. 365698737394)
- w***i (882)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufAbsolutely Wonderful Seller!! Terrific Item As Described!!! Great Service and Communication!! Shipped In Waterproof Packaging!! I Received Item In About One Week!! Very Pleased With Seller! I Will Buy From This Seller Again!!Commentary on Aristotle`s Metaphysics by Thomas Aquinas (English) Paperback Book (Nr. 365701732160)
Noch mehr entdecken:
- Nachschlagewerke und Lexikons auf English,
- Penguin Books Sprachkurse und Lehrmaterialien,
- Penguin Books Studium und Erwachsenenbildung,
- Penguin Books Fachbücher, Lernen und Nachschlagen,
- Englische Studium und Erwachsenenbildung Penguin Books,
- Erwachsene Masters of the Universe Hörbücher und Hörspiele,
- Masters of the Universe Jugendliche Hörbücher und Hörspiele,
- Masters of the Universe Jugendliche Hörbücher und Hörspiele,
- Erwachsene Masters of the Universe Hörbücher und Hörspiele,
- Ungekürzte Masters of the Universe Buchreihe Hörbücher und Hörspiele
grandeagleretail
98,6% positive Bewertungen•2,8 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (1.065.330)
- c***a (121)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufThe seller was very responsive and answered me on a timely matter. The product itself came in its packaging and was new, not used at all. The packaging was not beat up or anything, safely delivered to my mailbox. No mix ups and zero stress with delivery. The price for the product is completely understandable for the product. I really appreciate the seller and I am very happy to have purchased through this seller. Completely trustable!
- m***4 (1612)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufLeaving positive feedback because 1) item was packed well & arrived as described 2) seller did give partial refund when subsequent price dropped below org purchase price. 3) communication was quick However, there was a downside to this transaction -item listed as in-stock but ended up waiting nearly a month for them to get it from their distributer then ship it to me (bought June 29th, arrived around July 21). Auction said 12-15 days. Better clarity would have prevented lot of frustrationStreet Fighter II - Guile (Player 2) Figure - 6 Inch (Nr. 365698737394)
- w***i (882)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufAbsolutely Wonderful Seller!! Terrific Item As Described!!! Great Service and Communication!! Shipped In Waterproof Packaging!! I Received Item In About One Week!! Very Pleased With Seller! I Will Buy From This Seller Again!!Commentary on Aristotle`s Metaphysics by Thomas Aquinas (English) Paperback Book (Nr. 365701732160)