Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | ca24d6d5-df7f-437e-bbaa-bdd41d56e0f9 |
| isbn | 9789061961277 |
| issn | |
| language | eng |
| physical | ix, 112 pages ;24 cm |
| publication | – publisher: Mathematisch Centrum dateOfPublication: 1976 |
| publishDate | 1976 |
| subjects | |
| title | Recursive program schemes : semantics and proof theory / W. P. de Roever, Jr. |
| topic | Programming languages (Electronic computers) Recursive programming. |