Elvira Albert – författare
Visar alla böcker från författaren Elvira Albert.
4 produkter
Fundamental Approaches to Software Engineering
29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings
Av Elvira Albert, Corina Pasareanu
Häftad, 2026
589 kr
Lägg i varukorg
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Av Elvira Albert, Emil Sekerinski
Häftad, 2014
729 kr
Lägg i varukorg
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
Häftad, 2016
729 kr
Lägg i varukorg
Logic-Based Program Synthesis and Transformation
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Häftad, 2013
649 kr
Lägg i varukorg