Formalization of programming concepts - proceedings
- Författare
- International Colloquium on the Formalization of Programming Concepts 1981) (Peniscola :
- (International colloquium, Peniscola, Spain, April 19-25, 1981 edited by J. Díaz and I. Ramos.)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | 1981 | Tyskland, Berlin, New York | 478 sidor. ill. |