Bokus

Dimitra Giannakopoulou

Visar alla böcker från författaren Dimitra Giannakopoulou. Handla med fri frakt och snabb leverans.

  1. NASA Formal Methods

    NASA Formal Methods

    2020

  2. Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    2014

  3. Verified Software: Theories, Tools and Experiments

    Verified Software: Theories, Tools and Experiments

    2014

  4. Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    2011

  5. FM 2012: Formal Methods

    FM 2012: Formal Methods

    2012