Hoppa till sidans huvudinnehåll

Elvira Albert - Böcker

Visar alla böcker från författaren Elvira Albert.
4 produkter
  • Nyhet

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

619 kr

Kommande

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

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

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

649 kr

Skickas inom 10-15 vardagar