Gwen Salaün – författare

Visar alla böcker från författaren Gwen Salaün.

7 produkter

Kategorier

7 produkter

Del 11176
Del 11176 - Lecture Notes in Computer Science
Software Technologies: Applications and Foundations
STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
AvManuel Mazzara,Iulian Oberm. fl.
Häftad, Engelska, 2018
749 kr
Skickas inom 10-15 vardagar
Software Engineering and Formal Methods
17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
AvPeter Csaba Ölveczky,Gwen Salaün
Häftad, Engelska, 2019
749 kr
Skickas inom 10-15 vardagar
Del 13077
Del 13077 - Lecture Notes in Computer Science
Formal Aspects of Component Software
17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
AvGwen Salaün,Anton Wijs
Häftad, Engelska, 2021
679 kr
Skickas inom 10-15 vardagar
Nyhet
Del 16421
Del 16421 - Lecture Notes in Computer Science
From Data to Models and Back
13th International Symposium, DataMod 2025, Toledo, Spain, November 10–11, 2025, Revised Selected Papers
AvLivia Lestingi,Gwen Salaünm. fl.
Häftad, Engelska, 2026
749 kr
Skickas inom 10-15 vardagar
Del 8702
Del 8702 - Lecture Notes in Computer Science
Software Engineering and Formal Methods
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
AvDimitra Giannakopoulou,Gwen Salaün
Häftad, Engelska, 2014
749 kr
Skickas inom 10-15 vardagar
Formal Methods for Industrial Critical Systems
16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
AvGwen Salaün,Bernhard Schätz
Häftad, Engelska, 2011
749 kr
Skickas inom 10-15 vardagar
Formal Aspects of Component Software
9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
AvCorina S Pasareanu,Gwen Salaün
Häftad, Engelska, 2013
699 kr
Skickas inom 10-15 vardagar