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ț: 541.50 lei 676.87 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ț: 327.12 lei 408.89 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ț: 349.40 lei 436.75 lei
6-8 săpt.
-20%