Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers

Bibliographische Detailangaben

Körperschaft:	WADT (VerfasserIn)
Weitere Verfasser:	James, Phillip (HerausgeberIn), Roggenbach, Markus (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2017
Schriftenreihe:	Lecture notes in computer science 10644
Schlagworte:	Konferenzschrift > Algebraische Spezifikation > Formale Spezifikationstechnik
Online Zugang:	Inhaltstext Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!