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