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ț: 337.81 lei 422.26 lei
3-5 săpt.
-20%
Cărți de Bernd Finkbeiner
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
Editat de Bernd Finkbeiner et al.
5 apr 2024
Paperback
Preț: 303.33 lei 379.17 lei
6-8 săpt.
-20%
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
Editat de Bernd Finkbeiner et al.
14 ian 2022
Paperback
Preț: 587.96 lei 734.95 lei
6-8 săpt.
-20%
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ț: 328.45 lei 410.56 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ț: 415.51 lei 519.38 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ț: 337.35 lei 421.69 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ț: 327.47 lei 409.34 lei
6-8 săpt.
-20%