SRI International

SRI International - American Nonprofit Research Institute

Artificial intelligence publications

Deductive Foundations of Computer Programming

Citation

Copy to clipboard

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

Share this

Facebooktwitterlinkedinmail