Elvira Albert - Böcker

Visar alla böcker från författaren Elvira Albert.

3 produkter

Kategorier

3 produkter

Integrated Formal Methods

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Av Elvira Albert, Emil Sekerinski

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Formal Techniques for Distributed Objects, Components, and Systems

36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Av Elvira Albert, Ivan Lanese

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Logic-Based Program Synthesis and Transformation

22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Av Elvira Albert

Häftad, Engelska, 2013

649 kr

Skickas inom 10-15 vardagar