Hoppa till sidans huvudinnehåll

Elvira Albert - Böcker

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

Integrated Formal Methods

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

AvElvira Albert,Emil Sekerinski

Häftad, Engelska, 2014

719 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

AvElvira Albert,Ivan Lanese

Häftad, Engelska, 2016

719 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

AvElvira Albert

Häftad, Engelska, 2013

639 kr

Skickas inom 10-15 vardagar