Logical derivation of computer programs /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Exeter, England :
Intellect,
[1999]
|
| Subjects: |
Evans: Library Stacks
| Call Number: |
QA76.6 .W5472 1999 |
|
|---|---|---|
| Call Number | Status | Get It |
| QA76.6 .W5472 1999 | Available | |