Kein Cover

Compositional Programming (Artifact)

Zhang, Weixin ; Sun, Yaozhu ; Oliveira, Bruno C. d. S.

Titel
Compositional Programming (Artifact)
Art des Inhalts
Zeitschrift/Serie
Verfassangaben
Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira
Autor(en)
  • Zhang, Weixin
  • Sun, Yaozhu
  • Oliveira, Bruno C. d. S.
Zeitliche Einordnung
Erscheinungsdatum: 2021
Umfang/Format
Online-Ressource
DOI
10.4230/DARTS.7.2.11
Online
https://doi.org/10.4230/DARTS.7.2.11
Sprache
eng
Schlagwörter
Frühere/spätere Titel
  • Enthalten in: Schloss Dagstuhl, Leibniz-Zentrum für Informatik
  • Enthalten in: Schloss Dagstuhl, Leibniz-Zentrum für Informatik
  • Enthalten in: Schloss Dagstuhl, Leibniz-Zentrum für Informatik
Stand
30.05.2025 21:42
Im Katalog seit
07.03.2026

Beschreibung vom Verlag

← Zurück zur Startseite