Pay in 4 interest-free payments of $6.24 Learn more
Ships within 48 hours · Estimated delivery Sep 4 - Sep 9
The year is 1938
the tech giant
Creating Smart Power with an Arduino
200 people on board
Even my words can't look away
Mathematical Theory of Computation AUTH-11740734 The year is 1938Attempting 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 ISBN13: 9780486432380 ISBN10: 0486432386 BISAC
