Gwen Salaün – författare

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

7 produkter

1. 

   Software Technologies: Applications and Foundations

   STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

   Av Manuel Mazzara, Iulian Ober m. fl.

   Häftad, 2018

   739 kr

   Lägg i varukorg

2. 

   Software Engineering and Formal Methods

   17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

   Av Peter Csaba Ölveczky, Gwen Salaün

   Häftad, 2019

   739 kr

   Lägg i varukorg

3. 

   Formal Aspects of Component Software

   17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

   Av Gwen Salaün, Anton Wijs

   Häftad, 2021

   669 kr

   Lägg i varukorg

4. 

   From Data to Models and Back

   13th International Symposium, DataMod 2025, Toledo, Spain, November 10–11, 2025, Revised Selected Papers

   Av Livia Lestingi, Gwen Salaün m. fl.

   Häftad, 2026

   739 kr

   Lägg i varukorg

5. 

   Software Engineering and Formal Methods

   12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

   Av Dimitra Giannakopoulou, Gwen Salaün

   Häftad, 2014

   739 kr

   Lägg i varukorg

6. 

   Formal Methods for Industrial Critical Systems

   16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

   Av Gwen Salaün, Bernhard Schätz

   Häftad, 2011

   739 kr

   Lägg i varukorg

7. 

   Formal Aspects of Component Software

   9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

   Av Corina S Pasareanu, Gwen Salaün

   Häftad, 2013

   679 kr

   Lägg i varukorg