"...will provide a comprehensive yet concise introduction to the mathematical theory of computing for students of computer science and mathematics. It represents the first systematic attempt to present the idea of abstract models of computers, and formal proofs of their properties,to an undergraduate and postgraduate audience. It achieves this by adopting a single framework within which particular machines are defined, each machine becoming a particular interpretation for the operation and test names of a flowchart program. In addition to gaining insights into the theoretical limitations of various computing devices, the reader is introduced to concepts of the equivalence and correctness of programs, topics not covered in any other introductory textbook. In terms of mathematical complexity, the prerequisites are minimal and the book has been thoroughly class tested
"synopsis" may belong to another edition of this title.
Seller: Librerķa Oeste, MADRID, M, Spain
Condition: Bueno. 196. McGraw-Hill Inc.,US, 1976, 196pp. tiene algunas partes subrayadas. Seller Inventory # 000000177124
Seller: Silicon Valley Fine Books, Sunnyvale, CA, U.S.A.
Condition: Very Good. First Edition, hardcover. 176 pages. Very good, rear endpaper bent at tip, overall a sharp, clean copy. First printing with full number line. Seller Inventory # 59185
Seller: Anybook.com, Lincoln, United Kingdom
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Book contains pencil markings. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:0070840679. Seller Inventory # 5806546
Quantity: 1 available