Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings
Editat de Cezara Drăgoi et al.
14 oct 2021
Paperback
Preț: 521.05 lei 651.32 lei
6-8 săpt.
-20%
Cărți de Kedar Namjoshi
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Editat de Kedar Namjoshi et al.
10 feb 2011
Paperback
Preț: 314.81 lei 393.52 lei
6-8 săpt.
-20%
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Editat de Kedar Namjoshi et al.
9 oct 2007
Paperback
Preț: 336.26 lei 420.33 lei
6-8 săpt.
-20%