This site may earn a commission as part of the eBay Partner Network and Amazon Associates Program if you make a purchase through our links.

See Details on Ebay

Mathematical Theory Of Computation

Number of Pages: 448. Author: Manna, Zohar (Author). Weight: 1.07 lbs. Publication Date: 2003-12-24. Publisher: DOVER PUBN INC.

20.65$ Buy It Now

Item	184099717169
Seller	prepbooks ( 206217 ⭐ ) 99.6% Location: USA, US Accept Payments With ,
Shipping	See shipping cost, Ships to United States, ...
Guarantee	eBay Money Back Guarantee
Condition	Brand New
Book Title	Mathematical Theory Of Computation
ISBN	9780486432380
Subject Area	Mathematics, Computers
Publication Name	Mathematical Theory of Computation
Publisher	Dover Publications, Incorporated
Item Length	8.4 in
Subject	Software Development & Engineering / Quality Assurance & Testing, Programming / General, Logic
Publication Year	2003
Series	Dover Books on Mathematics Ser.
Type	Textbook
Format	Trade Paperback
Language	English
Item Height	0.9 in
Author	Zohar Manna
Item Weight	18.8 Oz
Item Width	5.5 in
Number of Pages	480 Pages

Please refer to the section BELOW (and NOT ABOVE) this line for the product details- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -Title:Mathematical Theory Of ComputationISBN13:9780486432380ISBN10:0486432386Author:Manna, Zohar (Author)Description: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 Binding:Paperback, PaperbackPublisher:DOVER PUBN INCPublication Date:2003-12-24Weight:1.07 lbsDimensions:0.95'' H x 8.4'' L x 5.5'' WNumber of Pages:448Language:English