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 |