Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Editat de Howard Barringer et al.
19 oct 2010
Paperback
Preț: 331.62 lei 414.53 lei
3-5 săpt.
-20%
Cărți de Grigore Rosu
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
Editat de Dana Fisman et al.
30 mar 2022
Paperback
Preț: 255.01 lei 318.77 lei
3-5 săpt. | 7-13 zile
-20%