Anonymous

CS GRE: Difference between revisions

From dankwiki
140 bytes added ,  13:52, 1 August 2009
Line 59: Line 59:
|-
|-
|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]''
*Dijkstra: ''[http://www.amazon.com/Discipline-Programming-Prentice-Hall-Automatic-Computation/dp/013215871X A Discipline of Programming]''
|
|
|-
|-
|Verification techniques
|Verification techniques
*Berg, Boebert, Franta, Moher: ''[http://www.amazon.com/Methods-Verification-Specification-Prentice-Hall-Software/dp/0133288072/ Formal Methods of Program Verification and Specification]''
|
|
|-
|-