Elvira Albert – författare
Visar alla böcker från författaren Elvira Albert.
4 produkter
4 produkter
- Nyhet
Del 16504 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2026
579 kr
Skickas inom 10-15 vardagar
Del 8739 - Lecture Notes in Computer Science
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Häftad, Engelska, 2014
719 kr
Skickas inom 10-15 vardagar
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
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
Häftad, Engelska, 2013
649 kr
Skickas inom 10-15 vardagar