Recursive program schemes - semantics and proof theory
- Författare
- Willelm-Paul de Roever
- (W.P. de Roever Jr.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Mathematisch Centrum | 1976 | Nederländerna, Amsterdam | 112 sidor. | 90-6196-127-0 |