- Bestand E 0020 Mathematisches Forschungsinstitut Oberwolfach (1944-2008)
Vollansicht Verzeichnungseinheit 1167
| Signatur: | 1167 |
| Titel: | Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion : |
| Laufzeit: | 1986 |
| Enthält: | Hans Langmaack, Kiel; Erich J. Neuhold, Wien; Manfred Paul, München |
| Umfang: | 1 Bü. |
| Altsignatur: | Tagungsbericht 1986,4 |
| Bemerkung: | 1986 |
| Bestellsignatur: | E 0020 (Mathematisches Forschungsinstitut Oberwolfach (1944-2008)), 1167 |