Cărți de Deepak D'Souza

Model checking trace-based information flow properties

Autor Raghavendra Kagalavadi Ramesh et al.

mar 2012

Preț: 265^.32 lei 331^.66 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de Deepak D'Souza et al.

7 ian 2015

Preț: 330^.79 lei 413^.49 lei

6-8 săpt.

-20%

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ț: 329^.60 lei 412^.00 lei

6-8 săpt.

-20%