Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, revised Selected Papers

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: WADT (VerfasserIn)
Weitere Verfasser: Roggenbach, Markus (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2021
Schriftenreihe:Lecture notes in computer science 12669
Schlagworte:
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:viii, 163 Seiten
ISBN:9783030737849
978-3-030-73784-9