Filtre:

Cărți de Dimitra Giannakopoulou

Verified Software: Theories, Tools and Experiments

Lecture Notes in Computer Science, nr. 8471

Editat de Dimitra Giannakopoulou et al.

28 oct 2014

Preț: 322^.16 lei 402^.70 lei

6-8 săpt.

-20%

FM 2012: Formal Methods

Editat de Dimitra Giannakopoulou et al.

21 iul 2012

Preț: 332^.60 lei 415^.75 lei

6-8 săpt.

-20%

NASA Formal Methods

Lecture Notes in Computer Science, nr. 12229

Editat de Ritchie Lee et al.

9 aug 2020

Preț: 486^.66 lei 608^.32 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods

Lecture Notes in Computer Science, nr. 8702

Editat de Dimitra Giannakopoulou et al.

4 aug 2014

Preț: 328^.10 lei 410^.13 lei

6-8 săpt.

-20%