Hochschulschrift

Relating arrows between institutions in a categorical framework

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
III, 92 S.
Sprache
Englisch
Anmerkungen
Berlin, Techn. Univ., Diss., 1999

Schlagwort
Softwareentwicklung
Softwarespezifikation
Formale Semantik
Relation
Logische Programmierung

Urheber
Brito Martini, Alfio Ricardo de

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:34 MESZ

Datenpartner

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

Objekttyp

  • Hochschulschrift

Beteiligte

  • Brito Martini, Alfio Ricardo de

Ähnliche Objekte (12)