Anonymous

CS GRE: Difference between revisions

From dankwiki
161 bytes added ,  05:52, 7 September 2009
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
|-
|-