Check out my first novel, midnight's simulacra!
CS GRE: Difference between revisions
From dankwiki
Line 59: | Line 59: | ||
|- | |- | ||
|Formal specifications and assertions | |Formal specifications and assertions | ||
* | *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]'' | |||
| | | | ||
|- | |- |