|
|
Manna, Zohar and Waldinger, Richard (1985): The Logical Basis for Computer Programming: Deductive Reasoning
| Title: |
The Logical Basis for Computer Programming: Deductive Reasoning |
| Author(s): |
Manna, Zohar and Waldinger, Richard |
| Year: |
1985 |
| Volume: |
I |
| Publisher: |
Addison Wesley |
| Address: |
Reading, Mass. |
Concepts
|
|
