Back to Results
First PageMeta Content
Software engineering / Computer programming / Theoretical computer science / Edsger W. Dijkstra / Predicate transformer semantics / IP / NP / Recursion


UCL DEPARTMENT OF COMPUTER SCIENCE Research Note RN/13/23
Add to Reading List

Document Date: 2014-01-19 15:11:19


Open Document

File Size: 497,41 KB

Share Result on Facebook