Sold Out
Book Categories |
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. 77 figures.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionMathematical theory of computation
X
This Item is in Your InventoryMathematical theory of computation
X
You must be logged in to review the productsX
X
X
Add Mathematical theory of computation, , Mathematical theory of computation to the inventory that you are selling on WonderClubX
X
Add Mathematical theory of computation, , Mathematical theory of computation to your collection on WonderClub |