Hoppa till sidans huvudinnehåll

Gwen Salaün - Böcker

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

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, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar

Software Engineering and Formal Methods

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

Av Peter Csaba Ölveczky, Gwen Salaün m. fl

Häftad, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Formal Aspects of Component Software

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

Av Gwen Salaün, Anton Wijs m. fl

Häftad, Engelska, 2021

649 kr

Skickas inom 10-15 vardagar

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, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar

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, Engelska, 2011

719 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

Av Corina S Pasareanu, Gwen Salaün m. fl

Häftad, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar