Hoppa till sidans huvudinnehåll

Gwen Salaün – författare

Visar alla böcker från författaren .
7 produkter
Manuel Mazzara, Iulian Ober, Gwen Salaün - Software Technologies: Applications and Foundations, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Peter Csaba Ölveczky, Gwen Salaün - Software Engineering and Formal Methods, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Gwen Salaün, Anton Wijs - Formal Aspects of Component Software, Häftad
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

659 kr

Skickas inom 10-15 vardagar

Livia Lestingi, Gwen Salaün, José Ignacio Requeno Jarabo - From Data to Models and Back, Häftad

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

809 kr

Kommande

Dimitra Giannakopoulou, Gwen Salaün - Software Engineering and Formal Methods, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Gwen Salaün, Bernhard Schätz - Formal Methods for Industrial Critical Systems, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Corina S Pasareanu, Gwen Salaün - Formal Aspects of Component Software, Häftad

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

669 kr

Skickas inom 10-15 vardagar