Program derivation : the development of programs from specifications /
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Reading, Mass. : Addison-Wesley,
1989
|
| Subjects: |
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Reading, Mass. : Addison-Wesley,
1989
|
| Subjects: |