Recursive program schemes : semantics and proof theory / W. P. de Roever, Jr. --
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam :
Mathematisch Centrum,
1976.
|
| Series: | Mathematical Centre tracts ;
70. |
| Subjects: |
PASCAL Offsite
| Call Number: |
QA76.7 .R63
|
|---|---|
| QA76.7 .R63 | Available Place a Hold |