Anonymous

CS GRE: Difference between revisions

From dankwiki
2 bytes removed ,  13:17, 1 August 2009
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]'')
|
|
|-
|-