Elvira Albert – författare

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

4 produkter

Kategorier

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
AvElvira Albert,Corina Pasareanu
Häftad, Engelska, 2026
589 kr
Skickas inom 10-15 vardagar
Del 8739
Del 8739 - Lecture Notes in Computer Science
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
AvElvira Albert,Emil Sekerinski
Häftad, Engelska, 2014
729 kr
Skickas inom 10-15 vardagar
Del 9688
Del 9688 - Lecture Notes in Computer Science
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
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
AvElvira Albert
Häftad, Engelska, 2013
649 kr
Skickas inom 10-15 vardagar