Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Amsterdam ; New York :
North-Holland ;
1985.
|
| Subjects: |
| Physical Description: | xix, 425 pages : illustrations |
|---|---|
| Bibliography: | Includes bibliographies. |
| ISBN: | 0444878882 (Elsevier) : |