Buy Used and New ElviraAlbert Books

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings: 8739 (Lecture Notes in Computer Science)

by Elvira Albert, Emil Sekerinski

ISBN 13: 9783319101804

Format: Paperback (404 pages)
Publisher: Springer
Published: 15 Sep 2014

Save for later

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th ... G: 9688 (Lecture Notes in Computer Science)

by Elvira Albert, Ivan Lanese

ISBN 13: 9783319395692

Format: Paperback (292 pages)
Publisher: Springer
Published: 27 Jun 2016

Save for later

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers: 7844 (Lecture Notes in Computer Science)

by Elvira Albert

ISBN 13: 9783642381966

Format: Paperback (256 pages)
Publisher: Springer
Published: 03 May 2013

Save for later