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