Hoppa till sidans huvudinnehåll

Gwen Salaün - Böcker

Visar alla böcker från författaren Gwen Salaün.
7 produkter
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

719 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

719 kr

Skickas inom 10-15 vardagar

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

649 kr

Skickas inom 10-15 vardagar

  • Nyhet

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

1 079 kr

Kommande

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

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

AvGwen 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

AvCorina S Pasareanu,Gwen Salaün

Häftad, Engelska, 2013

659 kr

Skickas inom 10-15 vardagar