Cărți de Kristin Yvonne Rozier

Model Checking Software

Lecture Notes in Computer Science, nr. 15945

Editat de Gidon Ernst et al.

2 noi 2025

Preț: 338^.51 lei

6-8 săpt.

Formal Methods

Editat de Andre Platzer et al.

13 sep 2024

Preț: 991^.65 lei 1239^.56 lei

38-44 zile

-20%

Formal Methods

Editat de André Platzer et al.

11 sep 2024

Preț: 316^.94 lei 396^.17 lei

38-44 zile

-20%

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ț: 631^.00 lei 788^.75 lei

6-8 săpt.

-20%

NASA Formal Methods

Lecture Notes in Computer Science, nr. 8430

Editat de Julia M. Badger et al.

2 apr 2014

Preț: 326^.68 lei 408^.36 lei

6-8 săpt.

-20%