13 results
Type of media (2)
Availability (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
13 results

Your search for Gwen Salaün

  1. Cover: Formal Aspects of Component Software - Springer
    Gwen Salaün | Anton Wijs
    Formal Aspects of Component Software
    17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
    11/2021
    Springer
    9783030906368 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  2. Cover: Software Engineering and Formal Methods - Springer
    Peter Csaba Ölveczky | Gwen Salaün
    Software Engineering and Formal Methods
    17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings
    09/2019
    Springer
    9783030304461 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: From Data to Models and Back - Springer
    Livia Lestingi | Gwen Salaün | José Ignacio Requeno Jarabo
    From Data to Models and Back
    13th International Symposium, DataMod 2025, Toledo, Spain, November 10-11, 2025, Revised Selected Papers
    approx. 07/2026
    Springer
    9783032255518 (ISBN)
    Book
    Paperback/Softback
    €53.49
    Not yet published
  4. Cover: Software Technologies: Applications and Foundations - Springer
    Manuel Mazzara | Iulian Ober | Gwen Salaün
    Software Technologies: Applications and Foundations
    STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
    12/2018
    Springer
    9783030047719 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Formal Aspects of Component Software - Springer
    Corina S. Pasareanu | Gwen Salaün
    Formal Aspects of Component Software
    9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
    01/2013
    Springer
    9783642358616 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  6. Cover: Software Engineering and Formal Methods - Springer
    Dimitra Giannakopoulou | Gwen Salaün
    Software Engineering and Formal Methods
    12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
    08/2014
    Springer
    9783319104317 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Formal Methods for Industrial Critical Systems - Springer
    Gwen Salaün | Bernhard Schätz
    Formal Methods for Industrial Critical Systems
    16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
    09/2011
    Springer
    9783642244315 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Formal Methods for Industrial Critical Systems - Springer
    Gwen Salaün | Bernhard Schätz
    Formal Methods for Industrial Critical Systems
    16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
    09/2011
    Springer
    9783642244308 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Formal Aspects of Component Software - Springer
    Gwen Salaün | Anton Wijs
    Formal Aspects of Component Software
    17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
    11/2021
    Springer
    9783030906351 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €48.14
    Shipment within 7-9 days
  10. Cover: Software Engineering and Formal Methods - Springer
    Peter Csaba Ölveczky | Gwen Salaün
    Software Engineering and Formal Methods
    17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings
    09/2019
    Springer
    9783030304454 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  11. Cover: Software Technologies: Applications and Foundations - Springer
    Manuel Mazzara | Iulian Ober | Gwen Salaün
    Software Technologies: Applications and Foundations
    STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
    12/2018
    Springer
    9783030047702 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  12. Cover: Formal Aspects of Component Software - Springer
    Corina S. Pasareanu | Gwen Salaün
    Formal Aspects of Component Software
    9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
    01/2013
    Springer
    9783642358609 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  13. Cover: Software Engineering and Formal Methods - Springer
    Dimitra Giannakopoulou | Gwen Salaün
    Software Engineering and Formal Methods
    12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
    08/2014
    Springer
    9783319104300 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days