7902
Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion
| dc.date.accessioned | 2019-02-13T13:30:52Z | |
| dc.date.available | 2019-02-13T13:30:52Z | |
| dc.date.issued | 1979 | |
| dc.identifier.uri | https://oda.mfo.de/handle/mfo/1257 | |
| dc.identifier.urn | urn:nbn:de:bsz:frei3c-oda-bsz3251060880 | |
| dc.identifier.doi | 10.14760/TB-1979-2 | |
| dc.identifier.archive-call-no | E20/01629 | |
| dc.title | 7902 | |
| local.sortindex | 1196 | |
| local.date-range | 7.1. bis 13.1.1979 | |
| local.pages | 24 S. | |
| local.workshopcode | 7902 | |
| 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 | K. R. Apt, Rotterdam; E. Bertsch, Hage; D. Bjørner, Lyngby; A. Blikle, Warschau; C. Boehm, Rom; W. Brauer, Hamburg; M. Broy, München; G. Cousineau, Paris; A. B. Cremers, Dortmund; W. Damm, Aachen; P. Deussen, Karlsruhe; M. S. Feather, Edinburgh; H. Ganzinger, München; G. Goos, Karlsruhe; K. Indermark, Aachen; H. Kääb, Konstanz; P. Kandzia, Kiel; U. Kastens, Karlsruhe; H.-J. Klein, Kiel; L. Kott, Paris; F. Kröger, München; H. Kröger, Kiel; K. Lagally, Stuttgart; H. Langmaack, Kiel; P. Lauer, Newcastle-upon-Tyne; J. Loeckx, Saarbrücken; R. Loos, Karlsruhe; O. Mayer, Kaiserslautern; E. J. Neuhold, Stuttgart; E.-J. Olderog, Kiel; Th. Olnhoff, Stuttgart; M. Paul, München; P. Raulefs, Bonn; J.-L. Remy, Nancy; W. P. de Roever, Utrecht; L. Schmitz, Neubiberg; W. Schöfeld, Stuttgart; H.-E. Sengler, Hamburg; J. E. Stoy, Oxford; R. Valk, Hamburg; A. Wang, Oslo; M. Wirsing, München | |
| local.report-name | Workshop Report 1979,2 | |
| local.gb-page-1 | 160 | |
| local.gb-handle-1 | mfo/62 | |
| local.gb-link-text-1 | Guest Book No. 4: image 161 (page 156) | |
| local.ba-page-1 | 56 | |
| local.ba-handle-1 | mfo/170 | |
| local.ba-link-text-1 | Book of Abstracts No. 42: images 57 - 80 (pages 52 - 75) |
Downloads
