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 | |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]'' | |||
| | | | ||
|- | |- |