Recent trends in algebraic development techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	WADT (VerfasserIn)
Weitere Verfasser:	Codescu, Mihai (HerausgeberIn), Diaconescu, Răzvan (HerausgeberIn), Țuțu, Ionuț (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham, Heidelberg, New York Springer 2015
Schriftenreihe:	Lecture notes in computer science 9463
Schlagworte:	Konferenzschrift > Algebraische Spezifikation > Formale Spezifikationstechnik
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!