Artificial intelligence publications January 1, 1993 Book

Deductive Foundations of Computer Programming

Richard J. Waldinger January 1, 1993

Citation

Copy to clipboard

Manna, Z., and Waldinger, R. Deductive Foundations of Computer ProgrammingAddison-Wesley, 1993.

Information

Book ISBN: 0201548860