| 1167 |
| Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion : |
| 1986 |
| Hans Langmaack, Kiel; Erich J. Neuhold, Wien; Manfred Paul, München |
| 1 Bü. |
| Tagungsbericht 1986,4 |
| 1986 |
| E 0020 (Mathematisches Forschungsinstitut Oberwolfach (1944-2008)), 1167 |