Cărți de Kristin Yvonne Rozier

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13903

Editat de Kristin Yvonne Rozier et al.

3 iun 2023

Preț: 587^.32 lei 734^.15 lei

6-8 săpt.

-20%

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8430

Editat de Julia M. Badger et al.

2 apr 2014

Preț: 330^.09 lei 412^.61 lei

6-8 săpt.

-20%