|
|
Manna, Zohar and Waldinger, Richard (1990): The Logical Basis for Computer Programming: Deductive Systems
| Title: |
The Logical Basis for Computer Programming: Deductive Systems |
| Author(s): |
Manna, Zohar and Waldinger, Richard |
| Year: |
1990 |
| Volume: |
II |
| Publisher: |
Addison Wesley |
Concepts
|
|
