Zur Kurzanzeige

Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion

dc.date.accessioned2019-02-13T13:02:41Z
dc.date.available2019-02-13T13:02:41Z
dc.date.issued1982
dc.identifier.urihttps://oda.mfo.de/handle/mfo/1101
dc.identifier.urnurn:nbn:de:bsz:frei3c-oda-bsz3250972324
dc.identifier.doi10.14760/TB-1982-1
dc.identifier.archive-call-noE20/01785
dc.title8201
local.sortindex1040
local.date-range4. 1. bis 8. 1. 1982
local.pages22 S.
local.workshopcode8201
local.workshoptitleFormale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion
local.organizersHans Langmaack, Kiel; Erich J. Neuhold, Stuttgart; Manfred Paul, München
local.participantsK. R. Apt, Paris; D. Björner, Lyngby; C. Böhm, Rom; W. Brauer, Hamburg; M. Broy, München; E. M. Clarke, Cambridge US; V. Claus, Dortmund; A. B. Cremers, Dortmund; O. J. Dahl, Oslo; W. Damm, Aachen; J. B. Dennis, Cambridge US; P. Deussen, Karlsruhe; J. Eickel, München; G. Goos, Karlsruhe; D. Harel, Rehovat; C. A. R. Hoare, Oxford; G. Hotz, Saarbrücken; K. Indermark, Aachen; N. D. Jones, Aarhus; P. Kandzia, Kiel; M. Karpinski, Edinburgh; U. Kastens, Karlsruhe; I. O. Kerner, Dresden; F. Kröger, München; H. Langmaack, Kiel; P. Lauerr, Newcastle-upon-Tyne; J. Loeckx, Saarbrücken; O. Mayer, Kaiserslautern; A. Meyer, Cambridge US; B. Möller, München; E. J. Neuhold, Stuttgart; M. Nivat, Paris; E.-R. Olderog, Kiel Oxford; M. Paul, München; G. Plotkin, Edinburgh; J. E. Stoy, Cambrige US; S. Takasu, Kyoto; B. Trakhtenbrot, Tel-Aviv; J. V. Tucker, Leeds; H. K. G. Walter, Darmstadt; M. Wirsing, München
local.report-nameWorkshop Report 1982,1
local.ba-page-1178
local.ba-handle-1mfo/159
local.ba-link-text-1Book of Abstracts No. 53: images 178 - 197 (pages 174 - 193)


Downloads

Thumbnail
Report

Das Dokument erscheint in:

Zur Kurzanzeige