Zur Kurzanzeige

Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion

dc.date.accessioned2019-02-13T12:43:41Z
dc.date.available2019-02-13T12:43:41Z
dc.date.issued1986
dc.identifier.urihttps://oda.mfo.de/handle/mfo/890
dc.identifier.urnurn:nbn:de:bsz:frei3c-oda-bsz3251064794
dc.identifier.doi10.14760/TB-1986-4
dc.identifier.archive-call-noE20/01995
dc.title8605
local.sortindex829
local.date-range27.1. bis 31.1.1986
local.pages19 S.
local.workshopcode8605
local.workshoptitleFormale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion
local.organizersHans Langmaack, Kiel; Erich J. Neuhold, Wien; Manfred Paul, München
local.participantsK. 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-nameWorkshop Report 1986,4
local.ba-page-155
local.ba-handle-1mfo/143
local.ba-link-text-1Book of Abstracts No. 69: images 56 - 74 (pages 51 - 69)


Downloads

Thumbnail
Report

Das Dokument erscheint in:

Zur Kurzanzeige