W

Themen-Graph

Verbindungen von Dines Bjørner zu 24 verknüpften Artikeln. Klicke auf einen Knoten, um zu navigieren.

dänischerInformatikerBereichen Domänenentw…Anforderungsanalyseformale MethodenCliff JonesWiener Entwicklungsme…IBM Laboratorium Wien-ESPRIT-Projekt ProCoSSpäter war er an der …ProfessorTechnischen Universit…Internationalen Insti…Universität der Verei…UNU-IISTMacauHauptwerkSoftwareentwicklungFormal Methods EuropeForTIADannebrog-OrdensMasaryk-UniversitätBrünnDines Bjørner

Tipp: Öffne den Graph aus jedem Artikel über „Themen-Graph anzeigen“.