Releases by Elvira Albert

In stock at iMusic Show unavailable items

Cover for Elvira Albert · Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Integrated Formal Methods: 11th ... (2014)

Cover for Elvira Albert · Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Logic-Based Program Synthesis an... (2013)