Martí-Oliet, N., & Palomino, M. (2013). Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer.
ISBD ZitierstilRecent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martí-Oliet, Miguel Palomino . — Berlin, Heidelberg : Springer, 2013. — Online-Ressource (X, 283 p. 71 illus, digital). — (Lecture notes in computer science ; 7841). — ISBN 9783642376351
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.