The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming"

Sorry, there's nothing here.

Topics

Cite this paper

@inproceedings{Manna1993TheDF, title={The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming"}, author={Zohar Manna and Richard J. Waldinger}, year={1993} }