Ein graphbasierter Formalismus zur Programmmanipulation

Weitere Titel
A Graph-Based Formalism for Program Manipulation
Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Deutsch
Anmerkungen
In: http://www.infosun.fim.uni-passau.de/spl/theses/BernhardStadlerMA.pdf
Passau, Universität Passau, Masterarbeit

Klassifikation
Informatik
Schlagwort
Programm
Formalismus
Informatik
Software Engineering
Kategorientheorie
Softwarespezifikation
Programmtransformation
Formalisierung
Mathematische Logik
Graphen

Ereignis
Veröffentlichung
(wo)
Passau
(wer)
Universität Passau
(wann)
2013
Urheber
Stadler, Bernhard

URN
urn:nbn:de:bvb:739-opus-27128
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:57 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Stadler, Bernhard
  • Universität Passau

Entstanden

  • 2013

Ähnliche Objekte (12)