Erkunden Sie die neuesten Erkenntnisse der algebraischen Entwicklung: Dieser Sammelband aus dem WADT‑Workshop 2012 bietet sorgfältig überarbeitete Beiträge, die sowohl theoretische Fortschritte als auch praxisnahe Anwendungen für Informatikforscher und Entwickler beleuchten.