Check out my first novel, midnight's simulacra!

CS GRE: Difference between revisions

From dankwiki
No edit summary
Line 58: Line 58:
|colspan=2|'''Software engineering'''
|colspan=2|'''Software engineering'''
|-
|-
|Formal specifications and assertions (Berg, Boebert, Franta, Moher: ''[http://www.amazon.com/Methods-Verification-Specification-Prentice-Hall-Software/dp/0133288072/ Formal Methods of Program Verification and Specification]'')
|Formal specifications and assertions
*Berg, Boebert, Franta, Moher: ''[http://www.amazon.com/Methods-Verification-Specification-Prentice-Hall-Software/dp/0133288072/ Formal Methods of Program Verification and Specification]''
|
|
|-
|-
Line 70: Line 71:
|-
|-
|[[Compiler Design|Compilers]], interpreters, and run-time systems
|[[Compiler Design|Compilers]], interpreters, and run-time systems
*Muchnick: ''[http://www.amazon.com/Advanced-Compiler-Design-Implementation-Muchnick/dp/1558603204 Advanced Compiler Design and Implementation]''
*Allen, Kennedy: ''[http://www.amazon.com/Optimizing-Compilers-Modern-Architectures-Dependence-based/dp/1558602860 Optimizing Compilers for Modern Architectures]''
|
|
|-
|-