Date: 2015-06-23 01:22:59Software engineering Computer science Theoretical computer science Formal methods Fellows of the British Computer Society Logic in computer science Cliff Jones Dines Bjrner Models of computation Vienna Development Method David Gries Formal Aspects of Computing | | Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppoAdd to Reading ListSource URL: homepages.cs.ncl.ac.ukDownload Document from Source Website File Size: 64,96 KBShare Document on Facebook
|