8605

Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion

dc.date.accessioned	2019-02-13T12:43:41Z
dc.date.available	2019-02-13T12:43:41Z
dc.date.issued	1986
dc.identifier.uri	https://oda.mfo.de/handle/mfo/890
dc.identifier.urn	urn:nbn:de:bsz:frei3c-oda-bsz3251064794
dc.identifier.doi	10.14760/TB-1986-4
dc.identifier.archive-call-no	E20/01995
dc.title	8605
local.sortindex	829
local.date-range	27.1. bis 31.1.1986
local.pages	19 S.
local.workshopcode	8605
local.workshoptitle	Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion
local.organizers	Hans Langmaack, Kiel; Erich J. Neuhold, Wien; Manfred Paul, München
local.participants	K. R. Apt, Paris; E. Astesiano, Genova; D. Bjørner, Lyngby; A. Blikle, Warsaw; W. Brauer, München; H. Brix, München; M. Broy, Passau; A. B. Cremers, Dortmund; O.-J. Dahl, Oslo; W. Damm, Aachen; P. Deussen, Karlsruhe; A. Kreczmar, Warsaw; F. Kröger, München; K. Lagally, Stuttgart; H. Langmaack, Kiel; P. E. Lauer, Hamilton; J. Loeckx, Saarbrücken; O. Mayer, Kaiserslautern; E. Mayr, Stanford; P. O. Mosses, Aarhus; E. J. Neuhold, Wien; F. Nielson, Aalborg; A. Dietl, München; G. Goos, Karlsruhe; C. Herzog, München; K. Indermark, Aachen; Peter Kandzia, Kiel; U. Kastens, Paderborn; E.-R. Olderog, Kiel; M. Paul, München; P. Pepper, Berlin; A. Salwicki, Warsaw; H. J. Schneider, Erlangen; H. Walter, Darmstadt
local.report-name	Workshop Report 1986,4
local.ba-page-1	55
local.ba-handle-1	mfo/143
local.ba-link-text-1	Book of Abstracts No. 69: images 56 - 74 (pages 51 - 69)

Report