Mathematical Theory of ComputationAttempting 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. Author: Zohar Manna Publisher: Dover Publications Published: 12 24 2003 Pages: 448 Binding Type: Paperback Weight: 1. 07lbs Size: 8. 40h x 5. 50w x 0. 95d ISBN: 9780486432380This title is not returnable
Shopping security
Each payment you make on thelockerguy is secured with strict SSL encryption and PCI DSS data protection protocols