Zur Kurzanzeige

Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion

dc.date.accessioned2019-02-13T13:30:52Z
dc.date.available2019-02-13T13:30:52Z
dc.date.issued1979
dc.identifier.urihttps://oda.mfo.de/handle/mfo/1257
dc.identifier.urnurn:nbn:de:bsz:frei3c-oda-bsz3251060880
dc.identifier.doi10.14760/TB-1979-2
dc.identifier.archive-call-noE20/01629
dc.title7902
local.sortindex1196
local.date-range7.1. bis 13.1.1979
local.pages24 S.
local.workshopcode7902
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, 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-nameWorkshop Report 1979,2
local.gb-page-1160
local.gb-handle-1mfo/62
local.gb-link-text-1Guest Book No. 4: image 161 (page 156)
local.ba-page-156
local.ba-handle-1mfo/170
local.ba-link-text-1Book of Abstracts No. 42: images 57 - 80 (pages 52 - 75)


Downloads

Thumbnail
Report

Das Dokument erscheint in:

Zur Kurzanzeige