Recursive Program Schemes Semantics and Proof Theory
by W.-P. de Roever
| Publisher: | Mathematisch Centrum |
| Published In: | 1976 |
| ISBN-10: | 9061961270 |
| ISBN-13: | 9789061961277 |
| Pages: | pp. ix + 112 |
The Title "Recursive Program Schemes Semantics and Proof Theory" is written by W.-P. de Roever. This book was published in the year 1976. This book has total of pp. ix + 112 (Pages). The publisher of this title is Mathematisch Centrum. Recursive Program Schemes Semantics and Proof Theory is currently Not Available with us.You can enquire about this book and we will let you know the availability.