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

43-57 zile

-20%

FM 2012: Formal Methods

Editat de Dimitra Giannakopoulou et al.

21 iul 2012

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

43-57 zile

-20%

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12229

Editat de Ritchie Lee et al.

9 aug 2020

Preț: 464^.56 lei 580^.70 lei

43-57 zile

-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

43-57 zile

-20%