Cărți de Anastasia Mavridou

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

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science, nr. 12863

Editat de Alberto Lluch Lafuente et al.

10 aug 2021

Preț: 320^.32 lei 400^.41 lei

6-8 săpt.

-20%