Theory of program structures : schemes, semantics, verification /
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
New York : Springer-Verlag,
1975
|
| Subjects: |
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
New York : Springer-Verlag,
1975
|
| Subjects: |