Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
Editat de Jyotirmoy Deshmukh et al.
8 oct 2020
Paperback
Preț: 338.49 lei 423.11 lei
43-57 zile
-20%
Dejan Ničković
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Editat de Maurice H. ter Beek et al.
29 aug 2020
Paperback
Preț: 326.70 lei 408.37 lei
43-57 zile
-20%