Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	WADT (BerichterstatterIn)
Weitere Verfasser:	Fiadeiro, José Luiz (HerausgeberIn), Schobbens, Pierre Yves (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2007
Schriftenreihe:	Lecture notes in computer science 4409
Schlagworte:	Computer software > Development > Computer science > Mathematics > Abstract data types (Computer science) > Konferenzschrift > Algebraische Spezifikation
Online Zugang:	Inhaltsverzeichnis Verlagsangaben Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!