Cărți de Deepak D'Souza

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10482

Editat de Deepak D'Souza et al.

4 oct 2017

Preț: 335^.74 lei 419^.67 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Lecture Notes in Computer Science, nr. 8931

Editat de Deepak D'Souza et al.

7 ian 2015

Preț: 334^.93 lei 418^.66 lei

6-8 săpt.

-20%

Model checking trace-based information flow properties

Autor Raghavendra Kagalavadi Ramesh et al.

mar 2012

Preț: 270^.22 lei 337^.77 lei

6-8 săpt.

-20%