Cărți de Kedar Namjoshi

Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12913

Editat de Cezara Drăgoi et al.

14 oct 2021

Preț: 530^.57 lei 663^.20 lei

43-57 zile

-20%

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6405

Editat de Kedar Namjoshi et al.

10 feb 2011

Preț: 320^.53 lei 400^.67 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Lecture Notes in Computer Science, nr. 4762

Editat de Kedar Namjoshi et al.

9 oct 2007

Preț: 342^.36 lei 427^.96 lei

43-57 zile

-20%