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ț: 334.93 lei 418.66 lei
3-5 săpt.
-20%
Cărți de Bernd Finkbeiner
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Editat de Andreas Blass et al.
23 mai 2020
Paperback
Preț: 325.65 lei 407.05 lei
6-8 săpt.
-20%
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Editat de Bernd Finkbeiner et al.
4 oct 2019
Paperback
Preț: 411.96 lei 514.94 lei
6-8 săpt.
-20%
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Editat de Bernd Finkbeiner et al.
22 noi 2015
Paperback
Preț: 334.47 lei 418.08 lei
6-8 săpt.
-20%
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Editat de Lev D. Beklemishev et al.
27 aug 2015
Paperback
Preț: 324.68 lei 405.86 lei
6-8 săpt.
-20%