Dimitra Giannakopoulou - Böcker

Visar alla böcker från författaren Dimitra Giannakopoulou.
5 produkter
Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou - NASA Formal Methods, Häftad

NASA Formal Methods

Av Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou

Häftad, Engelska, 2020

1 089 kr

Skickas inom 7-10 vardagar
Dimitra Giannakopoulou, Gwen Salaün - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

Av Dimitra Giannakopoulou, Gwen Salaün

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar
Dimitra Giannakopoulou, Daniel Kroening - Verified Software: Theories, Tools and Experiments, Häftad

Verified Software: Theories, Tools and Experiments

Av Dimitra Giannakopoulou, Daniel Kroening

Häftad, Engelska, 2014

709 kr

Skickas inom 7-10 vardagar
Dimitra Giannakopoulou, Fernando Orejas - Fundamental Approaches to Software Engineering, Häftad

Fundamental Approaches to Software Engineering

Av Dimitra Giannakopoulou, Fernando Orejas

Häftad, Engelska, 2011

739 kr

Skickas inom 7-10 vardagar
Dimitra Giannakopoulou, Dominique Mery - FM 2012: Formal Methods, Häftad

FM 2012: Formal Methods

Av Dimitra Giannakopoulou, Dominique Mery

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar