Join Literal
Authors

Author

D. Gries

Books

Program Construction
Program Construction
H. Wössner, M. Griffiths, D. Gries, F.L. Bauer, H. Partsch, E.W. Dijkstra, S.L. Gerhart, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, P. Pepper, M. Wirsing
D. Gries
On Presenting Monotonicity and on EA $ \Rightarrow $ AE
On Presenting Monotonicity and on EA $ \Rightarrow $ AE
D. Gries

Your next favorite book is out there

Track your reading, share the passages worth remembering, and get recommendations from people you trust — not algorithms. Independent, free, and no ads.

Download on the App Store
... or sign up right here