Check out my first novel, midnight's simulacra!
CS GRE: Difference between revisions
From dankwiki
| Line 165: | Line 165: | ||
|- | |- | ||
| Computational complexity, including NP-completeness | | Computational complexity, including NP-completeness | ||
*: ''[http://www.amazon.com/Methods-Verification-Specification-Prentice-Hall-Software/dp/0133288072/ Formal Methods of Program Verification and Specification]'' | |||
| '''SIPSER''' 7, 8 | | '''SIPSER''' 7, 8 | ||
|- | |- | ||
