7648
Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion
| dc.date.accessioned | 2019-02-13T13:42:33Z | |
| dc.date.available | 2019-02-13T13:42:33Z | |
| dc.date.issued | 1976 | |
| dc.identifier.uri | https://oda.mfo.de/handle/mfo/1362 | |
| dc.identifier.urn | urn:nbn:de:bsz:frei3c-oda-bsz3251050229 | |
| dc.identifier.doi | 10.14760/TB-1976-48 | |
| dc.identifier.archive-call-no | E20/01524 | |
| dc.title | 7648 | |
| local.sortindex | 1301 | |
| local.date-range | 21.11. bis 27.11.1976 | |
| local.pages | 21 S. | |
| local.workshopcode | 7648 | |
| local.workshoptitle | Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion | |
| local.organizers | Hans Langmaack, Kiel; Erich J. Neuhold, Stuttgart; Manfred Paul, München | |
| local.participants | J. W. de Bakker, Amsterdam; W. Brauer, Hamburg; A. Cremers, Dortmund; O.-J. Dahl, Oslo; H.-D. Ehrich, Dortmund; A. Endres, Sindelfingen; E. Engeler, Zürich; W. Glatthaar, Stuttgart; G. Goos, Karlsruhe; U. Güntzer, München; F. W. von Henke, St. Augustin; G. Kahn, Le Chesnay; P. Kandzia, Kiel; B. Krieg-Brückner, München; F. Kröger, München; H. Kröger, Kiel; K. Lagally, Stuttgart; H. Langmaack, Kiel; P. E. Lauer, Newcastle; C. J. Lucena, Rio de Janeiro; O. Mayer, Kaiserslautern; E. Neuhold, Stuttgart; v. Penner, Aachen; P. Raulefs, Karlsruhe; W. Reisig, Aachen; R. J. Ross, Saarbrücken; H. Schmeck, Kiel; H.-J. Schneider, Erlangen; W. Schönfeld, Stuttgart; R. Schroff, München; R. Tindell, New Jersey; H. K.-G. Walter, Darmstadt; G. Winterstein, Kaiserslautern; | |
| local.report-name | Workshop Report 1976,48 | |
| local.gb-page-1 | 40 | |
| local.gb-handle-1 | mfo/62 | |
| local.gb-link-text-1 | Guest Book No. 4: image 41 (page 36) | |
| local.ba-page-1 | 27 | |
| local.ba-handle-1 | mfo/177 | |
| local.ba-link-text-1 | Book of Abstracts No. 35: images 28 - 45 (pages 23 - 40) |
Downloads
