Cărți de Nathalie Bertrand

Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12288

Editat de Nathalie Bertrand et al.

17 aug 2020

Preț: 326^.52 lei 408^.15 lei

43-57 zile

-20%

Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10503

Editat de Nathalie Bertrand et al.

12 aug 2017

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

43-57 zile

-20%