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ț: 342^.65 lei 428^.31 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ț: 341^.81 lei 427^.26 lei

6-8 săpt.

-20%

Model checking trace-based information flow properties

Autor Raghavendra Kagalavadi Ramesh et al.

mar 2012

Preț: 275^.75 lei 344^.68 lei

6-8 săpt.

-20%