Bokus

Gwen Salaün

Visar alla böcker från författaren Gwen Salaün. Handla med fri frakt och snabb leverans.

  1. Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    2019

  2. Software Technologies: Applications and Foundations

    Software Technologies: Applications and Foundations

    2018

  3. Formal Aspects of Component Software

    Formal Aspects of Component Software

    2021

  4. From Data to Models and Back

    From Data to Models and Back

    2026

  5. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    2011

  6. Formal Aspects of Component Software

    Formal Aspects of Component Software

    2013