Gwen Salaün – författare
Visar alla böcker från författaren Gwen Salaün. Handla med fri frakt och snabb leverans.
14 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, 2018
569 kr
Lägg i varukorg
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and …
Software Technologies: Applications and Foundations
STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Av Gwen Salaun, Iulian Ober m. fl.
E-bok, 2018
732 kr
Lägg i varukorg
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and …
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
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety …
Software Engineering and Formal Methods
17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Av Gwen Salaun, Peter Csaba Olveczky
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019. The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety …
Formal Aspects of Component Software
17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
Häftad, 2021
513 kr
Lägg i varukorg
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 …
Formal Aspects of Component Software
17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
E-bok, 2021
650 kr
Lägg i varukorg
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 …
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
565 kr
Lägg i varukorg
This book constitutes revised selected papers of the 13th International Symposium on From Data Models and Back, DataMod 2025, held in Toledo, Spain, during November 10–11, 2025.The 7 full papers and 1 sort paper included in this book were carefully reviewed and selected from 12 submissions. These …
From Data to Models and Back
13th International Symposium, DataMod 2025, Toledo, Spain, November 10-11, 2025, Revised Selected Papers
Av Jose Ignacio Requeno Jarabo, Gwen Salaun m. fl.
E-bok, 2026
755 kr
Lägg i varukorg
This book constitutes revised selected papers of the 13th International Symposium on From Data Models and Back, DataMod 2025, held in Toledo, Spain, during November 10–11, 2025.The 7 full papers and 1 sort paper included in this book were carefully reviewed and selected from 12 submissions. These …
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
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 …
Software Engineering and Formal Methods
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Av Gwen Salaun, Dimitra Giannakopoulou
E-bok, 2014
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from …
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
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of …
Formal Methods for Industrial Critical Systems
16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
Av Bernhard Schatz, Gwen Salaun
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of …
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
523 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as …
Formal Aspects of Component Software
9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Av Gwen Salaun, Corina S Pasareanu
E-bok, 2013
690 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as …
