Deductive Foundations of Computer Programming

Citation

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

Information

Book ISBN: 0201548860


Read more from SRI