Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Lecture Notes in Computer Science)

Erforschen Sie die neuesten Ansätze algebraischer Entwicklungstechniken anhand sorgfältig ausgewählter Beiträge des 22. WADT‑Workshops in Sinaia; das Buch liefert theoretische Grundlagen, innovative Methoden und praxisnahe Fallstudien für Fachleute und Studierende.

Teilen: